Theorem QuotientGroup.univ_eq_iUnion_smul

Modification history