Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-01-14 19:02 f770d6ef

View on Github →

feat(topology/separation): generalize two lemmas (#11454)

Estimated changes

modified theorem nhds_eq_nhds_iff
modified theorem nhds_le_nhds_iff