Nuprl - Proof: nat not finite 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: nat not finite 1

. (

(

(n+1))

By:

Auto

Generated subgoal:

1 1. n :
2. ~ n
~ (n+1)
6 steps

About:

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