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







leanprover-community/mathlib,leanprover-community/mathlib