Skip to content
Snippets Groups Projects

`zip_with_take_{l,r,both}{,'}` (was: Add lemma `zip_with_take_both`)

Merged `zip_with_take_{l,r,both}{,'}` (was: Add lemma `zip_with_take_both`)
gmevel/stdpp:glen/zip_with_take_both into master
All threads resolved!
Merged Glen Mével requested to merge gmevel/stdpp:glen/zip_with_take_both into master
All threads resolved!