Added set lemmas about difference and union
- Sep 28, 2022
-
-
Robbert Krebbers authoredbdf49b49
-
- Sep 27, 2022
-
-
Jonas Kastberg authoredb93a066f
-
Added some set lemmas about difference and union that I was missing in my local development.