(6steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
At:
int
entire
1
2
1
1.
a:
2.
b:
3.
a
b = 0
4.
b = 0
a = 0
By:
Using [`n',b] (BackThru
Thm*
a,b:
, n:
. n
a = n
b
a = b)
Generated subgoal:
1
b
a = b
0
About:
(6steps)
PrintForm
Definitions
Lemmas
int
2
Sections
StandardLIB
Doc
b = 0
b = 0
a = 0
a,b:, n:
. na = nb 
a = b)
