Skip to content

Add lemma `map_singleton_subseteq_l` and `map_singleton_subseteq`.

Robbert Krebbers requested to merge robbert/map_singleton_subseteq into master

Similar to !306 (merged)

Merge request reports