-
Ralf Jung authored
This strengthens some lemmas that are written using the notion of closednes, shortening some proofs all the way up to barrier.v
2c0f9c99
This strengthens some lemmas that are written using the notion of closednes, shortening some proofs all the way up to barrier.v