Theorem punctured_nhds_eq_nhdsWithin_sup_nhdsWithin

Modification history

2024-10-23 23:43
Mathlib/Topology/ContinuousOn.lean
feat: add First Derivative Test from calculus (#16802) …
Added punctured_nhds_eq_nhdsWithin_sup_nhdsWithinView on Github →