Theorem Topology.IsScottHausdorff.dirSupClosedOn_of_isClosed

Modification history

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