Add lemma `map_singleton_subseteq_l` and `map_singleton_subseteq`.
Canceled
Robbert Krebbers
created pipeline for commit
822e6094
, finished
Related merge request !308 to merge robbert/map_singleton_subseteq
1 minute 17 seconds, queued for 2 seconds