Skip to content
Snippets Groups Projects

bring back some empty_inv lemmas for rewriting

Merged Ralf Jung requested to merge ralf/empy_inv into master
Loading