(7steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
absval
eq
x,y:
. |x| = |y|
x =
y
By:
UnivCD
Generated subgoal:
1
1.
x:
2.
y:
|x| = |y|
x =
y
About:
(7steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
|x| = |y| 
x = 
y 
x,y:. |x| = |y| x = y |x| = |y| x = y
