(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval zero 1
1. i:

if 0i i else -i fi = 0 i = 0
By:
BoolCasesOnCExp (0i)
THEN
AbReduce 0
Generated subgoals:

12. 0i
i = 0 i = 0
22. i < 0
-i = 0 i = 0

About:
ifthenelseintnatural_numberminusequal

(4steps) PrintForm Definitions int 2 Sections StandardLIB Doc