(3steps) PrintForm Lemmas int 2 Sections StandardLIB Doc

At: add cancel in lt

a,b,n:. a+n < b+n a < b
By: UnivFmlaCD []
Generated subgoal:

11. a:
2. b:
3. n:
4. a+n < b+n
a < b

About:
intaddless_thanimpliesall

(3steps) PrintForm Lemmas int 2 Sections StandardLIB Doc