Add `map_Forall2_dom`.
Passed
Robbert Krebbers
created pipeline for commit
83c6c5eb
, finished
Related merge request !569 to merge robbert/map_Forall2_dom
2 minutes 54 seconds, queued for 3 seconds