(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: add functionality wrt le 1 1 1
1. i2:
2. j2:
3. i2j2
4. i1:
5. i1 < 0
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_numberaddless_thanimpliesall

(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc