Nuprl - Proof: factorial via iter wf 1

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

1. k :

0<k!k

By:	k!k = 0 Asserted ...

Generated subgoal:

1 k!k = 0
5 steps

About:

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