Theorem MulAction.pow_smul_eq_iff_period_dvd

Modification history