Skip to content

Add lemmas list_to_set_disj_elem_of_list and gmultiset_difference_disj_union_{l,r}

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

Merge request reports

Loading