A,B:Type. (A bij B) =ext ((A inj B)(A onto B))

1

1. A : Type 2. B : Type   (A bij B) =ext ((A inj B)(A onto B))

8 steps

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