(5steps total) PrintForm Definitions NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc void dom fun degenerate 1
1. A : Type
2. X : VoidA
  X  {x.x:VoidA}
By: Analyze

Generated subgoal:

1   X = (x.x)
2 steps

About:
voidlambdafunctionuniverseequalmember
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

(5steps total) PrintForm Definitions NuprlPrimitives Sections NuprlLIB Doc