Theorem MulAction.zpow_add_period_smul

Modification history