Skip to content

GitLab

Merged
Created by Ralf Jung@jungOwner

add {fst,snd}_map_zip

Lemmas and proofs by @msammler

Edited by Ralf Jung