(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: add functionality wrt le

i1,i2,j1,j2:. i1j1 i2j2 i1+i2j1+j2
By: Auto
Generated subgoal:

11. i1:
2. i2:
3. j1:
4. j2:
5. i1j1
6. i2j2
i1+i2j1+j2

About:
intaddimpliesall

(7steps) PrintForm Definitions int 2 Sections StandardLIB Doc