Definitions
bool
1
Doc
At:
assert
of
le
int
x,y:
. x
z y
x
y
By:
Unfolds [`le_int`;`le`] 0
THEN
UnivCD
Generated subgoal:
1
1.
x:
2.
y:
y < z x
y < x