Theorem MulAction.pow_smul_eq_iff_minimalPeriod_dvd

Modification history