Theorem nhdsGT_le_nhdsNE

Modification history

2026-03-05 12:46
Mathlib/Topology/Order/LeftRight.lean
chore(Topology/Order/LeftRight): use `to_dual` (#35637) …
Deleted nhdsGT_le_nhdsNEView on Github →
2024-12-23 08:37
Mathlib/Topology/Order/LeftRight.lean
chore(*): rename lemmas about `𝓝[≥] a` etc (#20188) …
Added nhdsGT_le_nhdsNEView on Github →