Nuprl - Proof: int lt to int upper 1 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: int lt to int upper 1 2

1. i :

2. A : {i+1...}

Prop
3.

j:{i+1...}. A(j)
4. j :

5. i<j

A(j)

By:	BackThru 3

Generated subgoals:

None

About:

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