(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. jk
6. ki
7. ji
nil ~ upto(j;k)

By:
RecUnfold `upto` 0
THEN
SplitOnConclITE


Generated subgoals:

None

About:
nilintnatural_numbersubtractequalsqequal

(6steps total) PrintForm Definitions graph 1 1 Sections Graphs Doc