Nuprl - Proof: nat wf stype

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

By:	Unfolds [`nat`] 0

Generated subgoal:

1 {i:| 0i } S
3 steps

About:

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