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.

Estimated changes