IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc void via isect
Void =ext (
A:Type. A)
Generated subgoal:
| 1 |
1. X : A:Type. A
X  Void
 | 4 steps |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
