Theorem isOpenMap_of_hasStrictDerivAt

Modification history

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