Nuprl - Proof: nat to nat pair bij 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: nat to nat pair bij 2

Surj(

;

; nat_to_nat_pair)

By:	Lemma Thm* Surj(; ; nat_to_nat_pair)

Generated subgoals:

None

About:

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