prim-7.0-public-all reflexivums top 1000 lemmas

Nr.FormCount
1sa21094265
2si5141699