Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_cases

Modification history

2021-10-09 07:26

src/order/min_max.lean

feat(order/min_max): min_cases and max_cases lemmata (#9632) …

Added min_cases View on Github →