prim-7.0-public-prf reflexivums top 1000 lemmas

Nr.FormCount
1sa1781116
2si300469