Mathlib v3 is deprecated. Go to Mathlib v4

Theorem max_cases

Modification history

2022-05-04 11:10
src/order/min_max.lean
feat(order/basic): Notation for `order_dual` (#13798) …
Modified max_casesView on Github →
2021-10-09 07:26
src/order/min_max.lean
feat(order/min_max): min_cases and max_cases lemmata (#9632) …
Added max_casesView on Github →