Theorem QuotientGroup.mk_out'_eq_mul

Modification history