Merge branch 'multiset-lemmas' into 'master'
Add lemmas list_to_set_disj_elem_of_list and gmultiset_difference_disj_union_{l,r}
See merge request !369
No related branches found
No related tags found
Checking pipeline status
Add lemmas list_to_set_disj_elem_of_list and gmultiset_difference_disj_union_{l,r}
See merge request !369