Mathlib v3 is deprecated. Go to Mathlib v4

Theorem min_def_lt

Modification history

2022-11-13 06:01
src/order/basic.lean
feat(*): update to Lean 3.49 (#17470) …
Added min_def_ltView on Github →