Theorem Subgroup.IsComplement.rightQuotientEquiv_apply

Modification history