(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: add functionality wrt le 1
1. i1:
2. i2:
3. j1:
4. j2:
5. i1j1
6. i2j2

i1+i2j1+j2
By: MoveToConcl 3
Generated subgoal:

13. j2:
4. i2j2
j1:. i1j1 i1+i2j1+j2

About:
intaddimpliesall

(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc