Theorem not_is_bot
Modification history
2022-01-28 13:31
src/order/max.lean
feat(order/max): Predicate for minimal/maximal elements, typeclass for orders without bottoms (#11618) …
Modified not_is_botView on Github →2022-01-22 20:53
src/order/basic.lean
split(order/max): Split off `order.basic` (#11603) …
Modified not_is_botView on Github →