mathlib3

120be3d9 - feat(data/list/zip): map_zip_with (#7295)