(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

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

0+i2j1+j2
By: RA (Analyze 6)
Generated subgoals:

None

About:
intnatural_numberaddsubtractless_thanimplies

(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc