Skip to content

bring back some empty_inv lemmas for rewriting

Ralf Jung requested to merge ralf/empy_inv into master

See discussion at !307 (comment 72408)

Merge request reports