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

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

i1-i2j1-j2
By: ArithSimp 0
Generated subgoal:

1 i1+-i2j1+-j2

About:
intminusaddsubtract

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