Theorem MulAction.zpow_period_add_smul

Modification history