Mathlib v3 is deprecated. Go to Mathlib v4

Theorem fin.not_lt_zero

Modification history

2022-03-30 13:52
src/data/fin/basic.lean
feat(data/fin): lemmas about ordering and cons (#13044) …
Added fin.not_lt_zeroView on Github →