Skip to content

Add lemma `map_zip_fst_snd`.

Robbert Krebbers requested to merge robbert/map_zip_fst_snd into master

This lemma is analogue to the one on lists.

Merge request reports