Theorem isOpenMap_of_hasStrictFDerivAt_equiv

Modification history

2024-03-23 22:56
Mathlib/Analysis/Calculus/InverseFunctionTheorem/FDeriv.lean
chore: rename misnamed lemmas involving isOpenMap (#11607) …
Added isOpenMap_of_hasStrictFDerivAt_equivView on Github →