Nuprl - Proof: bijtype sub injtype

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

A,B:Type. (A bij

(A inj

By:	Repeat Def of A bij B \| A inj 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