Add lemma `map_subseteq_inv`.
Passed
Robbert Krebbers
created pipeline for commit
6df1a647
, finished
Related merge request !335 to merge robbert/map_subseteq_inv
7 minutes 9 seconds, queued for 5 seconds