Add lemmas list_to_set_disj_elem_of_list and gmultiset_difference_disj_union_{l,r} (!369) · Merge requests · Iris / stdpp

Merged Léo Stefanesco requested to merge lstefane/stdpp:multiset-lemmas into master 3 years ago

Status	Pipeline	Stages
Passed 00:06:33 3 years ago	Apply 1 suggestion(s) to 1 file(s) #63374 369 fa7c7f01	Stage: build	Download artifacts No artifacts found
Passed 00:04:23 3 years ago	Add lemmas elem_of_list_to_set_disj and gmultiset_difference_disj_union_{l,r} #63318 369 efe73fee	Stage: build	Download artifacts No artifacts found
Passed 00:10:48 3 years ago	Add lemmas list_to_set_disj_elem_of_list and gmultiset_difference_disj_union_{l,r} #63146 369 b704b31a	Stage: build	Download artifacts No artifacts found

Add lemmas list_to_set_disj_elem_of_list and gmultiset_difference_disj_union_{l,r}