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

At: upto int wf 2 1
1. d:, i,j:. j-i = d upto(i;j) List
2. i:
3. j:
4. ij
upto(i;j) List
By:
InstHyp [j-i] 1
THEN
EasyHyp
Generated subgoals:

None

About:
listintsubtractequalmemberimpliesall

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