Theorem LowerDual_iff_Upper

Modification history

2023-09-01 20:13
Mathlib/Topology/Order/LowerUpperTopology.lean
chore: tidy various files (#6838)
Deleted LowerDual_iff_UpperView on Github →
2023-07-25 10:57
Mathlib/Topology/Order/LowerUpperTopology.lean
feat(Topology/Order/LowerUpperTopology): Dual the lower topology (#5873) …
Added LowerDual_iff_UpperView on Github →