Theorem open_map_of_strict_fderiv_equiv

Modification history

2024-03-23 22:56
Mathlib/Analysis/Calculus/InverseFunctionTheorem/FDeriv.lean
chore: rename misnamed lemmas involving isOpenMap (#11607) …
Deleted open_map_of_strict_fderiv_equivView on Github →
2023-12-09 02:01
Mathlib/Analysis/Calculus/InverseFunctionTheorem/ApproximatesLinearOn.lean
chore(Calculus/Inverse): split (#8603)
Modified open_map_of_strict_fderiv_equivView on Github →
2023-06-04 17:52
Mathlib/Analysis/Calculus/Inverse.lean
feat: port Analysis.Calculus.Inverse (#4644)
Added open_map_of_strict_fderiv_equivView on Github →