Theorem QuotientGroup.mk_zpow

Modification history