Theorem MulAction.pow_smul_mod_minimalPeriod

Modification history