Theorem Subgroup.IsComplement.mk''_rightQuotientEquiv

Modification history