-
Paolo G. Giarrusso authored
- And use prop_ext instead of prop_ext_2 in other proofs.
9312ad02
To find the state of this project's repository at the time of any of these versions, check out
the tags.
- And use prop_ext instead of prop_ext_2 in other proofs.