(5steps total) PrintForm Definitions NuprlPrimitives Sections NuprlLIB Search Doc
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc void via isect2
  Void =ext (x:. {x:})
By: Auto

Generated subgoal:

1 1. X : x:. {x:}
  X  Void
4 steps

About:
voidintisectsfa_doc_exteqmember
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html

(5steps total) PrintForm Definitions NuprlPrimitives Sections NuprlLIB Search Doc