Definitions
bool
1
Doc
At:
bnot
of
le
int
1
1
1.
i:
2.
j:
j < z i = j < z i
By:
RWH (LemmaC
Thm*
p:
.
p = p) 0
Generated subgoal:
1
j < z i = j < z i
j < z i = j < z i
p:
. p = p)
0 j < z i = j < z i