Theorem QuotientGroup.equivQuotientZPowOfEquiv_refl

Modification history