Theorem Topology.IsScottHausdorff.isOpen_iff_dirSupInaccOn

Modification history

2026-05-11 12:09
Mathlib/Topology/Order/ScottTopology.lean
feat: generalize `isOpen_iff_dirSupInacc` (#37307) …
Added Topology.IsScottHausdorff.isOpen_iff_dirSupInaccOnView on Github →