Add lemma `map_subseteq_inv`.

2 jobs for !335 with robbert/map_subseteq_inv in 7 minutes and 9 seconds (queued for 5 seconds)
latest merge request