Nuprl - Proof: exponentiation wf 1

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

1. n :

. (n^k)

By:	NatInd Concl

Generated subgoals:

1   (n^0)
1 step

2 2. k :
3. 0<k
4. (n^(k-1))
  (n^k)
4 steps

About:

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