Skip to content

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

Glen Mévelrequested to merge
gmevel/stdpp:glen/zip_with_take_both into master

Merge it if you like it.

Edited by Glen Mével

Merge request reports