Nuprl - Proof: one one corr is equiv rel 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: one one corr is equiv rel 1

1. X : Type

f,g:(X

X). InvFuns(X;X;f;g)

By:	InvFuns(X;X;Id;Id)

Generated subgoals:

None

About:

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