(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
At:
ndiff
zero
a,b:
. (a -- b) = 0
a
b
By:
Analyze 0
THEN
Analyze 0
THEN
RepUnfolds [`ndiff`;`imax`] 0
Generated subgoal:
1
1.
a:
2.
b:
if a-b
0
0 else a-b fi = 0
a
b
About:
(2steps)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
if a-b
0
0 else a-b fi = 0 
ab 
a,b:. (a -- b) = 0 ab if a-b0 0 else a-b fi = 0 ab
