PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval neg

i:{...0}. |i| = -i
By:
Unfold `absval` 0
THEN
Analyze 0
THEN
BoolCasesOnCExp (0i)
THEN
AbReduce 0
Generated subgoals:

None

About:
intnatural_numberminusequalall

PrintForm Definitions int 2 Sections StandardLIB Doc