Theorem Subgroup.IsComplement.quotientGroupMk_leftQuotientEquiv

Modification history