Commit 2024-03-23 22:56 853378fd
View on Github →chore: rename misnamed lemmas involving isOpenMap (#11607)
- open_map_of_strict_deriv -> isOpenMap_of_hasStrictDerivAt
- open_map_of_strict_fderiv_equiv -> isOpenMap_of_hasStrictFderivAt_equiv
These lemmas have conclusion
isOpenMap
, hence should be named accordingly.