Theorem Topology.scottHausdorff_le_scott

Modification history

2024-10-13 23:54
Mathlib/Topology/Order/ScottTopology.lean
refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology (#16523) …
Modified Topology.scottHausdorff_le_scottView on Github →
2024-05-04 19:06
Mathlib/Topology/Order/ScottTopology.lean
feat(Topology/Order/LawsonTopology): Introduce the Lawson Topology to Mathlib (#11710) …
Modified Topology.scottHausdorff_le_scottView on Github →
2023-12-07 22:44
Mathlib/Topology/Order/ScottTopology.lean
feat: Scott topology on a preorder (#2508) …
Added Topology.scottHausdorff_le_scottView on Github →