Skip to content

add {fst,snd}_map_zip

Ralf Jung requested to merge ralf/fst_snd_map_zip into master

Lemmas and proofs by @msammler

Edited by Ralf Jung

Merge request reports