Def QuotientGroup.equivQuotientZPowOfEquiv

Modification history