Nuprl - Proof: bijtype sub surjtype

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: bijtype sub surjtype

A,B:Type. (A bij

(A onto

By:	Repeat Def of A bij B \| A onto B \| <Type> <Type> \| Bij(<A>; <B>; <f>)

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html