(4steps total)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
ndiff
zero
1
1.
a
:
2.
b
:
imax(
a
-
b
;0) = 0
a
b
By:
Decide:
a
b
THEN ElimImaxmin Auto 0
Generated subgoals:
1
3.
a
b
0 = 0
a
b
Auto
2
3.
a
b
a
-
b
= 0
a
b
Auto
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(4steps total)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
imax(a-b;0) = 0 
a
b
imax(a-b;0) = 0 abb THEN ElimImaxmin Auto 0b
0 = 0 ab
ab
a-b = 0 ab
