Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.nth_ge_len

Modification history

2019-09-14 05:00
src/data/list/basic.lean
chore(data/*): flipping inequalities (#1436) …
Deleted list.nth_ge_lenView on Github →
2017-11-07 06:09
data/list/basic.lean
fix(data/array): update to lean
Modified list.nth_ge_lenView on Github →
2017-07-24 00:42
data/list/basic.lean
refactor(*): move in some nat lemmas …
Added list.nth_ge_lenView on Github →