Skip to content

GitLab

specialize `zip_with_take_{l,r,both}` and generalize them into `zip_with_take_{l,r,both}'`

2 jobs for !339 with glen/zip_with_take_both in 4 minutes and 39 seconds (queued for 3 seconds)
merge request
4573b15f
1 related merge request: !339 `zip_with_take_{l,r,both}{,'}` (was: Add lemma `zip_with_take_both`)