Theorem Bornology.nonempty_of_not_isBounded

Modification history

2023-11-01 15:16
Mathlib/Topology/Bornology/Basic.lean
chore: forward-port leanprover-community/mathlib#19028 (#8083) …
Added Bornology.nonempty_of_not_isBoundedView on Github →