Theorem IsOrderBornology.atTop_le_cobounded

Modification history

2026-04-28 16:44
Mathlib/Topology/Order/Bornology.lean
feat(Topology/Order/Bornology): generalize `cobounded_eq` (#37738) …
Added IsOrderBornology.atTop_le_coboundedView on Github →