IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sfa doc void dom fun degenerate111 1. A : Type
2. X : VoidA 3. x : Void
X(x) = xA
By:
HypsImpossibleBy Trivial
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
A
X(x) = x 
A
