Definitions
bool
1
Doc
At:
bnot
of
le
int
i,j:
.
i
z j = j < z i
By:
UnivCD
Generated subgoal:
1
1.
i:
2.
j:
i
z j = j < z i