Nuprl - Proof: int le to int upper

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: int le to int upper

, A:({i...}

Prop). (

. i

A(j))

(

j:{i...}. A(j))

By:	(Unfold `guard` 0 THEN GenUnivCD) THEN HypBackchain

Generated subgoals:

None

About:

IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html