(4steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
absval
zero
i:
. |i| = 0
i = 0
By:
Unfold `absval` 0
THEN
UnivCD
Generated subgoal:
1
1.
i:
if 0
i
i else -i fi = 0
i = 0
About:
(4steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
if 0
i
i else -i fi = 0 
i = 0 
i:. |i| = 0 i = 0 if 0i i else -i fi = 0 i = 0
