Nuprl - Proof: card nat vs nat tuple 2 2

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

1. k :

2. 1<k
3. (

(k-1)

) ~

(

) ~

By:	Thm* () ~ Asserted

Generated subgoals:

None

About:

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