Skip to content
Snippets Groups Projects

Add lemmas `map_fmap_zip_with_{l,r}`.

Passed
Robbert Krebbers created pipeline for commit fc52ac53
, finished
For master
branch
5 jobs 9 minutes 42 seconds, queued for 2 seconds