Nuprl - Proof: upto int wf 1 1

At: upto int wf 1 1

1. d:
2. 0 < d
3. i,j:. j-i = d-1 upto(i;j) List
4. i:
5. j:
6. j-i = d
7. i < j

[i / upto(i+1;j)] List

By: Analyze THEN EasyHyp

Generated subgoals:

None

About: