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

At: add functionality wrt lt

i1,i2,j1,j2:. i1 < j1 i2j2 i1+i2 < j1+j2
By: UnivFmlaCD []
Generated subgoal:

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

About:
intaddless_thanimpliesall

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