Theorem QuotientGroup.orbit_mk_eq_smul

Modification history