Def toOrderDualHomeomorph

Modification history

2023-09-18 13:50

Mathlib/Topology/Order/LowerUpperTopology.lean

fix(Topology/Order/UpperLowerSetTopology): Fix theorem names in UpperLowerSetTopology to match mathlib4 conventions (#6557) …

Deleted toOrderDualHomeomorph View on Github →

2023-07-25 10:57

Mathlib/Topology/Order/LowerUpperTopology.lean

feat(Topology/Order/LowerUpperTopology): Dual the lower topology (#5873) …

Added toOrderDualHomeomorph View on Github →