Skip to content
GitLab

Add `map_zip_with_flip`.

Merged Dan Frumin requested to merge dfrumin/coq-stdpp:map_zip_with_swap into master

I use it for big_sepM2_swap iris!307 (merged)

Edited by Ralf Jung