Theorem MulAction.zpow_mod_period_smul

Modification history