Skip to content

Add lemma `map_zip_fst_snd`.

Robbert Krebbersrequested to merge
robbert/map_zip_fst_snd into master

This lemma is analogue to the one on lists.

Merge request reports