Def UpperTopology.upperBasis

Modification history

2023-09-24 19:47

Mathlib/Topology/Order/LowerUpperTopology.lean

refactor(Topology/Order): Rename order topologies (#7310) …

Deleted UpperTopology.upperBasis View on Github →

2023-08-10 19:52

Mathlib/Topology/Order/LowerUpperTopology.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified UpperTopology.upperBasis View on Github →

2023-07-25 10:57

Mathlib/Topology/Order/LowerUpperTopology.lean

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

Added UpperTopology.upperBasis View on Github →