Nuprl - Proof: bnot of le int 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: bnot of le int 1

1. i :

2. j :

j = (j<

By:	Unfold `le_int` 0

Generated subgoal:

1 j<i = (j<i)
2 steps

About:

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