Theorem MulAction.zpow_smul_eq_iff_period_dvd

Modification history