(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
2
2
1.
n
:
,
f
:(
).
f
(
n
)
mu(
f
)
2.
f
: {
f
:(
)|
x
:
.
f
(
x
) }
mu(
f
)
By:
2 Times Analyze-1
Generated subgoal:
1
2.
f
:
3.
x
:
4.
f
(
x
)
mu(
f
)
1
step
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
n:
, f:(
). f(n) 
mu(f) 
)| 
x:. f(x) }
mu(f) n:, f:(). f(n) mu(f)
)| x:. f(x) }
mu(f)
mu(f) 
