Definitions
bool
1
Doc
At:
assert
of
lt
int
1
2
1.
x:
2.
y:
3.
x < z y
4.
x < y
x < y
By:
Unfold `lt_int` 3
THEN
RWH (ReduceThenC Auto) 3
Generated subgoal:
1
3.
false
4.
x < y
x < y
x < y
x < y