Skip to content

Added set lemmas about difference and union

Jonas Kastbergrequested to merge
jihgfee/stdpp:set_lemmas into master

Added some set lemmas about difference and union that I was missing in my local development.

Merge request reports