feat(data/list/zip): parameterize zip_append more generally (#5650)
feat(data/list/zip): parameterize zip_append more generally (#5650)

zip_append should only require that each pair of lists is of the same type






leanprover-community/mathlib,leanprover-community/mathlib