Theorem Subgroup.IsComplement.leftQuotientEquiv_apply

Modification history