Theorem MulAction.pow_period_add_smul

Modification history