Theorem QuotientGroup.leftRel_r_eq_leftCosetEquivalence

Modification history