Theorem IsOpen.mem_nhdsSet_self

Modification history

2023-10-25 20:01
Mathlib/Topology/NhdsSet.lean
feat(NhdsSet): lemmas from the Mandelbrot set connectedness project (#7914) …
Added IsOpen.mem_nhdsSet_selfView on Github →