Skip to content

GitLab

Merged
Created by Dan Frumin@dfruminContributor

Some lemmas about `difference` and `delete`

Those are the lemmas I used in iris-logrel.