Def Topology.scottHausdorff

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 View on Github →

2024-02-09 19:11

Mathlib/Topology/Order/ScottTopology.lean

refactor(Topology/Order) : Fix inconsistencies between Lower/Upper and Scott topologies (#10346) …

Modified Topology.scottHausdorff View on Github →

2023-12-07 22:44

Mathlib/Topology/Order/ScottTopology.lean

feat: Scott topology on a preorder (#2508) …

Added Topology.scottHausdorff View on Github →