Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_bot_or_exists_lt

Modification history

2022-06-04 17:34
src/order/directed.lean
refactor(order/directed): use `(≥)` instead of `swap (≤)` (#14474)
Modified is_bot_or_exists_ltView on Github →
2022-05-22 04:22
src/order/directed.lean
feat(order/lattice): add `left_lt_inf` etc (#14152) …
Modified is_bot_or_exists_ltView on Github →
2022-05-04 11:10
src/order/max.lean
feat(order/basic): Notation for `order_dual` (#13798) …
Modified is_bot_or_exists_ltView on Github →
2022-01-22 20:53
src/order/basic.lean
split(order/max): Split off `order.basic` (#11603) …
Modified is_bot_or_exists_ltView on Github →
2022-01-13 07:08
src/order/basic.lean
feat(order,data/set/intervals): lemmas about `is_bot`/`is_top` (#11412) …
Added is_bot_or_exists_ltView on Github →