(3steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: sub 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:
intsubtractimpliesall

(3steps) PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc