mathlib

58f2c36a - feat(dynamics/periodic_pts): definition and basic properties (#3660)

feat(dynamics/periodic_pts): definition and basic properties (#3660) Also add more lemmas about `inj/surj/bij_on` and `maps_to`. Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>