Add lemma `map_zip_fst_snd`.

This lemma is analogue to the one on lists.

added 1 commit

• 3f1dfd48 - CHANGELOG.

Compare with previous version

enabled an automatic merge when the pipeline for 3f1dfd48 succeeds

merged

mentioned in commit d838e2ff