(4steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
absval
ubound
i:
, n:
. |i|
n
-n
i & i
n
By:
UnivCD
Generated subgoal:
1
1.
i:
2.
n:
|i|
n
-n
i & i
n
About:
(4steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
|i|
n 
-ni & in 
i:, n:. |i|n -ni & in |i|n -ni & in
