Theorem Topology.IsScottHausdorff.isOpen_iff_dirSupInacc

Modification history

2026-05-11 12:09
Mathlib/Topology/Order/ScottTopology.lean
feat: generalize `isOpen_iff_dirSupInacc` (#37307) …
Modified Topology.IsScottHausdorff.isOpen_iff_dirSupInaccView 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.isOpen_iff_dirSupInaccView on Github →