mathlib3

4231b681 - feat(data/list): add a few lemmas (#14047)

feat(data/list): add a few lemmas (#14047) * add `list.reverse_surjective` and `list.reverse_bijective`; * add `list.chain_iff_forall₂`, `list.chain_append_singleton_iff_forall₂`, and `list.all₂_zip_with`.