Misc lemmas for maps (!280) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge robbert/misc_map into master 3 years ago

Status	Pipeline	Created by	Stages
Passed 00:05:13 3 years ago	Add lemmas `merge_empty_l` and `merge_empty_r`. #48710 280 deebe088		Stage: build	Download artifacts No artifacts found

Misc lemmas for maps