Theorem QuotientGroup.rightRel_r_eq_rightCosetEquivalence

Modification history