Nuprl - Proof: lt int eq true elim

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: lt int eq true elim

i,j:

. (i<

j) = true

i<j

By:

UnivCD

Generated subgoal:

1 1. i :
2. j :
3. (i<j) = true
i<j
1 step

About:

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