Theorem MonoidHom.zpow_apply

Modification history