Theorem MulAction.pow_add_period_smul

Modification history