IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
card nat vs nat nat
1
f:(
). Bij(; ; f)
| By: |
Witness: nat_to_nat_pair |
Generated subgoal:
| 1 |
Bij(; ; nat_to_nat_pair)
 | 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
