Skip to content

add {fst,snd}_map_zip

Ralf Jungrequested to merge
ralf/fst_snd_map_zip into master

Lemmas and proofs by @msammler

Edited by Ralf Jung

Merge request reports