Nuprl - Proof: inhabited functionality wrt one one corr

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: inhabited functionality wrt one one corr

A,B:Type. (A ~ B)

((

(

B))

By:	Inst: Thm* (A ~ B) (A B)

Generated subgoals:

None

About:

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