Def QuotientGroup.equivQuotientSubgroupOfOfEq

Modification history