Nuprl Basics - Proof: sfa doc find greater bound stupidly 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc find greater bound stupidly 1

1. k :

2. x :

k List

{y:

(k+1)| y greater-bounds x }

By:	Witness: k

Generated subgoal:

1 k greater-bounds x
1 step

About:

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