Skip to content
Snippets Groups Projects

bring back some empty_inv lemmas for rewriting

Passed
Ralf Jung created pipeline for commit 5f95d3dd
, finished
Related merge request !317 to merge ralf/empy_inv
merge request
2 jobs 5 minutes 23 seconds, queued for 148 seconds