NuprlPrimitives
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Theorem
Name
Thm*
mu
{
f
:(
)|
x
:
.
f
(
x
) }
[kleene_minimize_wf]
cites the following:
Thm*
i
,
j
:
.
i
+
j
[add_nat_wf]
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
NuprlPrimitives
Sections
NuprlLIB
Doc
{f:(
)| 
x:. f(x) }
i,j:. i+j {f:()| x:. f(x) }i,j:. i+j