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

At: upto int wf 2 2
1. d:, i,j:. j-i = d upto(i;j) List
2. i:
3. j:
4. ij
upto(i;j) List
By:
RecUnfold `upto` 0
THEN
SplitOnConclITE
Generated subgoals:

None

About:
listintsubtractequalmemberimpliesall

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