Skip to content
GitLab

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

Merged Glen Mével requested to merge gmevel/stdpp:glen/zip_with_take_both into master

Merge it if you like it.

Edited by Glen Mével