Skip to content

Some map_zip/map_zip_with properties.

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

These are some properties of map_zip_with that I am using so far. Perhaps you want me to port the whole thing first, to see what other functions/lemmas will I need?

Merge request reports