Commit 2023-10-25 20:01 c60a7805
View on Github →feat(NhdsSet): lemmas from the Mandelbrot set connectedness project (#7914)
Add eventually_nhdsSet_iff_exists
, eventually_nhdsSet_iff_forall
,
and IsOpen.mem_nhdsSet_self
.
feat(NhdsSet): lemmas from the Mandelbrot set connectedness project (#7914)
Add eventually_nhdsSet_iff_exists
, eventually_nhdsSet_iff_forall
,
and IsOpen.mem_nhdsSet_self
.