(6steps total)
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
At:
append
upto
1
2
1.
i:
2.
j:
3.
k:
4.
j-i = 0
5.
j
k
6.
k
i
7.
j
i
nil ~ upto(j;k)
By:
RecUnfold `upto` 0
THEN
SplitOnConclITE
Generated subgoals:
None
About:
(6steps total)
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc