Theorem Topology.IsScott.isOpen_iff_Iic_compl_or_univ

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.isOpen_iff_Iic_compl_or_univView 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) …
Modified Topology.IsScott.isOpen_iff_Iic_compl_or_univView on Github →
2024-07-21 13:49
Mathlib/Topology/Order/ScottTopology.lean
feat(Topology/Order/ScottTopology): Characterise the Scott Topology of a Complete Linear Order (#12175) …
Added Topology.IsScott.isOpen_iff_Iic_compl_or_univView on Github →