Theorem Dense.Ioi_eq_biUnion

Modification history

2024-02-13 23:17

Mathlib/Topology/Order/Basic.lean

chore(Topology/Order): move `OrderClosedTopology` to a new file (#10497)

Modified Dense.Ioi_eq_biUnion View on Github →

2023-05-14 07:05

Mathlib/Topology/Order/Basic.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added Dense.Ioi_eq_biUnion View on Github →