Nuprl Basics - Proof: sfa doc ntuple contains example 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: sfa doc ntuple contains example 1 1

1<0

3-1 = 1

& <-1,0><0

3-1

2 & -1<0

(

i in 0:

^(3-1-1). i<0)

By:	AndToCandLocal Select: 3

Generated subgoal:

1 0 (^(3-1-1))
1 step

About:

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