Theorem eventually_nhdsSet_iff_exists

Modification history

2024-01-12 06:00

Mathlib/Topology/NhdsSet.lean

chore(Topology/NhdsSet): rename type variables (#9673) …

Modified eventually_nhdsSet_iff_exists View on Github →

2023-10-25 20:01

Mathlib/Topology/NhdsSet.lean

feat(NhdsSet): lemmas from the Mandelbrot set connectedness project (#7914) …

Added eventually_nhdsSet_iff_exists View on Github →