Definitions
bool
1
Doc
At:
assert
of
lt
int
1
1.
x:
2.
y:
3.
x < z y
x < y
By:
Decide (x < y)
Generated subgoals:
1
4.
x < y
x < y
2
4.
x < y
x < y
x < y x < y
x < y x < y