Add lemma `map_cross_split`.
Passed
Robbert Krebbers
created pipeline for commit
26204e75
, finished
Related merge request !274 to merge robbert/set_map_filter
4 minutes 41 seconds, queued for 3 seconds