Prove `map_zip_with_singleton`.
Passed
Robbert Krebbers
created pipeline for commit
a99446f9
, finished
For master
15 minutes 35 seconds, queued for 1 seconds