(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
minus
imax
a,b:
. -imax(a;b) = imin(-a;-b)
By:
Unfolds [`imax`;`imin`] 0
Generated subgoal:
1
1.
a:
2.
b:
-if a
b
b else a fi = if -a
-b
-a else -b fi
About:
(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
-if a
b
b else a fi = if -a-b -a else -b fi 
a,b:. -imax(a;b) = imin(-a;-b) -if ab b else a fi = if -a-b -a else -b fi
