(3steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc simple existential 2 1
  z:. z<4  6<z
By: Witness: -1

Generated subgoal:

1   -1<4  6<-1
1 step

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

(3steps total) PrintForm NuprlPrimitives Sections NuprlLIB Doc