mathlib

d76b6493 - feat(dynamics/fixed_points/basic): fixed_points_id simp lemma (#7078)