Theorem Topology.IsScott.dirSupClosed_of_isClosed

Modification history

2024-10-13 23:54
Mathlib/Topology/Order/ScottTopology.lean
refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology (#16523) …
Modified Topology.IsScott.dirSupClosed_of_isClosedView on Github →
2024-07-21 13:49
Mathlib/Topology/Order/ScottTopology.lean
feat(Topology/Order/ScottTopology): Characterise the Scott Topology of a Complete Linear Order (#12175) …
Added Topology.IsScott.dirSupClosed_of_isClosedView on Github →