Skip to content
GitLab

Add lemma `map_zip_fst_snd`.

Merged Robbert Krebbers requested to merge robbert/map_zip_fst_snd into master

This lemma is analogue to the one on lists.

Merge request reports