Skip to content

Add `map_Forall2_dom`.

Robbert Krebbers requested to merge robbert/map_Forall2_dom into master

I didn't add a CHANGELOG, because there is already "Add map_Forall2 and some basic lemmas about it".

Merge request reports