mathlib

17339204 - feat(list): add some lemmas (#9873)

feat(list): add some lemmas (#9873) Add a few lemmas about lists. These are helpful when manipulating lists. Co-authored-by: Ethan Pronovost <EPronovost@users.noreply.github.com>