(3steps)
PrintForm
int
2
Sections
StandardLIB
Doc
At:
zero
ann
a
2
1.
a:
2.
b:
3.
b = 0
a
b = 0
By:
HypSubst 3 0
Generated subgoals:
None
About:
(3steps)
PrintForm
int
2
Sections
StandardLIB
Doc
a
b = 0
