Definitions
bool
1
Doc
At:
assert
of
le
int
1
1.
x:
2.
y:
y < z x
y < x
By:
RWH (LemmaC
Thm*
p:
.
p
p) 0
Generated subgoal:
1
y < z x
y < x
y < z x 
y < x
p:
. p p)
0