Nuprl - Proof: mu wf 1 1

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

1. f :

2. n :

3. n

0
4. f(n)
5.

f(0)

mu(

x.f(x+1))+1

By:	Subst' (n = 0) -2

Generated subgoals:

None

About:

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