Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-12-21 20:56 d2ae43f6

View on Github →

feat(data/list/basic): lemmas about nth of take and append (#5449)

Estimated changes

modified theorem list.nth_append
added theorem list.nth_append_right
added theorem list.nth_take
added theorem list.nth_take_of_succ
added theorem list.take_succ