Theorem MulAction.pow_period_smul

Modification history