(8steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
absval
elim
2
1
1
1.
P:
Prop
2.
x:
. P(x)
3.
x:
4.
0
x
P(x)
By:
BackThru 2
Generated subgoals:
None
About:
(8steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
Prop
x:
. P(x)
x
P(x)
