Skip to content

Add `map_zip_with_flip`.

Dan Fruminrequested 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

Merge request reports