-
Dan Frumin authored
- Get rid of the timelessness condition for Q - Allow Q to depend on the argument as well on the result - Make it more easy to apply the lemmas by using IntoVal in the public API
893d16f8
- Get rid of the timelessness condition for Q - Allow Q to depend on the argument as well on the result - Make it more easy to apply the lemmas by using IntoVal in the public API