Mathlib v3 is deprecated. Go to Mathlib v4

Theorem list.nth_le_tail

Modification history

2021-09-28 11:33

src/data/list/basic.lean

feat(data/list/basic): lemmas about tail (#9259)

Added list.nth_le_tail View on Github →