IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
surjection type nsub surjection
1
1
1. a :
2. b :
3.
a onto
b
a onto
a
By: |
Witness: x.x |
Generated subgoal:
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html