Nuprl - Proof: int lt to int upper 1 1

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

1. i :

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

Prop
3.

. i<j

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

A(j)

By:	BackThru 3

Generated subgoals:

None

About:

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