(3steps) PrintForm int 2 Sections StandardLIB Doc

At: add cancel in eq 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:
intaddsubtractequal

(3steps) PrintForm int 2 Sections StandardLIB Doc