Theorem Topology.IsScottHausdorff.isClosed_iff_dirSupClosedOn

Modification history

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