(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
ndiff
ann
l
a:
. (0 -- a) = 0
By:
Analyze 0
THEN
Unfold `ndiff` 0
Generated subgoal:
1
1.
a:
imax(0-a;0) = 0
About:
(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
imax(0-a;0) = 0 
a:. (0 -- a) = 0 imax(0-a;0) = 0
