Theorem UpperDual_iff_Lower

Modification history

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