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