Nuprl Basics - Proof: sfa doc find intlist great bound

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc find intlist great bound

x:(

List)

{y:

| y greater-bounds x }

By:

Auto

Generated subgoal:

1 1. x : List
{y:| y greater-bounds x }
18 steps

About:

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