Theorem MulAction.pow_mod_period_smul

Modification history