mathlib3

2d51a449 - feat(data/list/basic): nth_drop (#6381)