-
Robbert Krebbers authored
This is more consistent with the definition of the extension order, which is also defined in terms of an existential.
99e980ae
This is more consistent with the definition of the extension order, which is also defined in terms of an existential.