(3steps) PrintForm Lemmas int 2 Sections StandardLIB Doc

At: add mono wrt eq 1
1. a:
2. b:
3. n:
4. a = b

a+n = b+n
By: Auto
Generated subgoals:

None

About:
intaddequal

(3steps) PrintForm Lemmas int 2 Sections StandardLIB Doc