Nuprl - Proof: bnot of le int 1 1

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

1. i :

2. j :

i = (j<

By:	RWH (LemmaC Thm* p:. p = p) 0

Generated subgoal:

1 (j<i) = (j<i)
Auto

About:

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