Theorem Topology.IsScottHausdorff.isClosed_iff_dirSupClosed

Modification history

2026-05-11 12:09
Mathlib/Topology/Order/ScottTopology.lean
feat: generalize `isOpen_iff_dirSupInacc` (#37307) …
Modified Topology.IsScottHausdorff.isClosed_iff_dirSupClosedView on Github →
2026-03-26 20:12
Mathlib/Topology/Order/ScottTopology.lean
feat: characterization of open/closed sets in Scott-Hausdorff topology (#37227)
Added Topology.IsScottHausdorff.isClosed_iff_dirSupClosedView on Github →