Theorem leftCosetEquivalence_rel

Modification history