Definitions
bool
1
Doc
At:
assert
of
lt
int
2
1
1.
x:
2.
y:
3.
x < y
true
By:
BackThru
Thm*
true
Generated subgoals:
None
true