Def Topology.lawson

Modification history

2024-10-13 23:54

Mathlib/Topology/Order/LawsonTopology.lean

refactor(Topology/Order/ScottTopology): Unify concepts of Scott Topology (#16523) …

Modified Topology.lawson View on Github →

2024-05-04 19:06

Mathlib/Topology/Order/LawsonTopology.lean

feat(Topology/Order/LawsonTopology): Introduce the Lawson Topology to Mathlib (#11710) …

Added Topology.lawson View on Github →