PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: add mono wrt lt rw

a,b,n:. a < b a+n < b+n
By:
Unfold `guard` 0
THEN
Lemma Thm* a,b,n:. a < b a+n < b+n
Generated subgoals:

None

About:
intaddless_thanall

PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc