Theorem MulAction.zpow_smul_mod_minimalPeriod

Modification history