(3steps) PrintForm Lemmas int 2 Sections StandardLIB Doc

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

a < b
By: Assert (a+n+-n < b+n+-n)
Generated subgoal:

1 a+n+-n < b+n+-n

About:
intminusaddless_than

(3steps) PrintForm Lemmas int 2 Sections StandardLIB Doc