Theorem IsOrderBornology.cobounded_eq_atBot

Modification history

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