Theorem QuotientGroup.eq_class_eq_leftCoset

Modification history