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