PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc

At: add mono wrt eq 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:
intaddequalall

PrintForm Definitions Lemmas int 2 Sections StandardLIB Doc