Skip to content
Snippets Groups Projects
Commit 2bc4c093 authored by Robbert Krebbers's avatar Robbert Krebbers
Browse files

Merge branch 'ralf/map_zip_diag' into 'master' 

add map_zip_diag and the lemmas required for that

See merge request !217
parents 0b4a2a55 3a4a1be7
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment