Nuprl - Proof: factorial via iter wf

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

. k!

By:	Def of <nat>!

Generated subgoal:

1 1. k :
0<k!k
6 steps

About:

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