(15steps total)
Remark
PrintForm
Definitions
Lemmas
NuprlPrimitives
Sections
NuprlLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
kleene
minimize
wf
mu
{
f
:(
)|
x
:
.
f
(
x
) }
By:
n
:
,
f
:(
).
f
(
n
)
mu(
f
)
Asserted
Generated subgoals:
1
n
:
,
f
:(
).
f
(
n
)
mu(
f
)
10
steps
2
1.
n
:
,
f
:(
).
f
(
n
)
mu(
f
)
mu
{
f
:(
)|
x
:
.
f
(
x
) }
4
steps
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(15steps total)
Remark
PrintForm
Definitions
Lemmas
NuprlPrimitives
Sections
NuprlLIB
Doc
mu 
{f:(
)| 
x:. f(x) } mu {f:()| x:. f(x) }
n:, f:(). f(n) 
mu(f) Asserted n:, f:(). f(n) mu(f) 
n:, f:(). f(n) mu(f)
mu {f:()| x:. f(x) }
