Nuprl Basics - Proof: sfa doc simple existential 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc simple existential 2

x,y:

. x<y & (

. z<x

y<z)

By:	Witness: 4 \| 6

Generated subgoal:

1 z:. z<4 6<z
2 steps

About:

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