(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: add functionality wrt le 1 1 3
1. i2:
2. j2:
3. i2j2
4. i1:
5. 0 < i1
6. j1:. i1-1j1 i1-1+i2j1+j2
7. j1:
8. i1j1

i1+i2j1+j2
By: RA ((DTerm (j1-1) 6) THEN (Analyze -1))
Generated subgoals:

None

About:
intnatural_numberaddsubtractless_thanimpliesall

(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc