mathlib

9e8d1075 - feat(dynamics/periodic_pts): `pow_smul_eq_iff_minimal_period_dvd` (#13676)

feat(dynamics/periodic_pts): `pow_smul_eq_iff_minimal_period_dvd` (#13676) This PR adds a lemma `pow_smul_eq_iff_minimal_period_dvd`, along with additive and integer versions.