Theorem Topology.lawsonClosed_iff_scottClosed_of_isLowerSet

Modification history

2024-05-04 19:06
Mathlib/Topology/Order/LawsonTopology.lean
feat(Topology/Order/LawsonTopology): Introduce the Lawson Topology to Mathlib (#11710) …
Added Topology.lawsonClosed_iff_scottClosed_of_isLowerSetView on Github →