Skip to content
Snippets Groups Projects

Make singleton/`⊆` lemmas consistent with Iris's singleton/`≼`

Merged Robbert Krebbers requested to merge robbert/singleton_subseteq into master
All threads resolved!

There are no changes yet

No changes between version 2 and version 2

Loading