Theorem nhdsNE_of_nhdsNE_sdiff_finite

Modification history

2025-05-22 19:35
Mathlib/Topology/DiscreteSubset.lean
chore: replace nhd with nhds (#25108)
Added nhdsNE_of_nhdsNE_sdiff_finiteView on Github →