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