mathlib3

45e7eb84 - feat(dynamics/fixed_points): simple lemmas (#8768)