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

At: upto int wf 2

1. d:, i,j:. j-i = d upto(i;j) List
i,j:. upto(i;j) List

By:
UnivCD
THEN
Decide (ij)


Generated subgoals:

12. i:
3. j:
4. ij
upto(i;j) List
1 step
 
22. i:
3. j:
4. ij
upto(i;j) List
1 step

About:
listintsubtractequalmemberimpliesall

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