mathlib

a5ccba6b - feat(analysis/calculus): generalize `has_strict_fderiv_at.map_nhds_eq` (#6193)

feat(analysis/calculus): generalize `has_strict_fderiv_at.map_nhds_eq` (#6193) Generalize `has_strict_fderiv_at.map_nhds_eq` to a function that satisfies assumptions of the implicit function theorem.