Theorem QuotientGroup.orbit_eq_out'_smul

Modification history