Nuprl Basics - Proof: kleene minimize wf 1 1 1 1 2 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: kleene minimize wf 1 1 1 1 2 1 1 1

1. n :

n1:

. n1<n

(

f:(

). f(n1)

mu(f)

)
3. f :

4. f(n)
5. n = 0

f(0)

By:	Rewrite by n = 0

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html