Theorem Topology.IsScott.scott_eq_upper_of_completeLinearOrder

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.scott_eq_upper_of_completeLinearOrderView on Github →
2024-08-16 13:44
Mathlib/Topology/Order/ScottTopology.lean
feat(Topology/Order/LowerUpperTopology): Scott and Upper topologies coincide on a complete linear order (#12234) …
Added Topology.IsScott.scott_eq_upper_of_completeLinearOrderView on Github →