prim-7.0-public-inf reflexivums top 1000 lemmas

Nr.FormCount
1sa11375359
2si2606949