(3steps) PrintForm Lemmas int 2 Sections StandardLIB Doc

At: add cancel in lt 1 1
1. a:
2. b:
3. n:
4. a+n < b+n

a+n+-n < b+n+-n
By: BackThru Thm* i1,i2,j1,j2:. i1 < j1 i2j2 i1+i2 < j1+j2
Generated subgoals:

None

About:
intminusaddless_than

(3steps) PrintForm Lemmas int 2 Sections StandardLIB Doc