Nuprl - Proof: card nat vs nat nat 1 1

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

Bij(

;

; nat_to_nat_pair)

By:	Thm* Bij(; ; nat_to_nat_pair) Asserted

Generated subgoals:

None

About:

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