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 →