PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval pos

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

None

About:
intnatural_numberequalall

PrintForm Definitions int 2 Sections StandardLIB Doc