Merge branch 'map_zip_with' into 'master'

Add `map_delete_zip_with`

See merge request !64
8 jobs for master in 11 minutes and 13 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #27785
fp
build-coq.8.7.0

00:05:24

passed #27784
fp
build-coq.8.7.1

00:02:47

passed #27783
fp
build-coq.8.7.2

00:02:46

passed #27782
fp-timing
build-coq.8.8.0

00:02:40

passed #27781
fp
build-coq.8.8.1

00:02:54

passed #27780
fp
build-coq.8.8.2

00:02:55

passed #27779
fp-timing
build-coq.8.9.0

00:03:06

passed #27778
fp
build-coq.dev

00:07:32