(4steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
absval
ubound
1
1.
i:
2.
n:
|i|
n
-n
i & i
n
By:
Unfold `absval` 0
THEN
SplitOnConclITE
Generated subgoals:
1
3.
0
i
i
n
-n
i & i
n
2
3.
i < 0
-i
n
-n
i & i
n
About:
(4steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
i
in 
-ni & in -in -ni & in
|i|n -ni & ini in -ni & in -in -ni & in
