Theorem not_bddBelow_iff

Modification history

2023-08-10 19:52

Mathlib/Order/Bounds/Basic.lean

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

Modified not_bddBelow_iff View on Github →

2022-12-15 21:06

Mathlib/Order/Bounds/Basic.lean

feat: port Order.Bounds.Basic (#1040) …

Added not_bddBelow_iff View on Github →