mathlib3

6d0b415e - feat(data/list/basic): nth_zero (#5513)