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

At: upto wf 2

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

By:
Auto
THEN
Decide (i < j)


Generated subgoals:

12. i:
3. j:
4. i < j
upto(i;j) {i..j} List
1 step
 
22. i:
3. j:
4. i < j
upto(i;j) {i..j} List
1 step

About:
listintsubtractless_thanequalmemberimpliesall

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