Nuprl - Proof: card nat vs nat tuple 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: card nat vs nat tuple 2

1. k :

2. 1<k
3. (

(k-1)

) ~

(

) ~

By:	Rewrite by (k) ~ ()

Generated subgoals:

1 (k) ~ ()
3 steps

2 () ~
1 step

About:

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