P
Initializing...
Finite-index congruences form a filter · Prove2Me