(2steps) PrintForm Definitions int 2 Sections StandardLIB Doc

At: absval wf 1
1. x:

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

None

About:
ifthenelseintnatural_numberminusmember

(2steps) PrintForm Definitions int 2 Sections StandardLIB Doc