Nuprl - Proof: pos mul arg boundsNat2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: pos mul arg boundsNat2

i,j:

. 0<i

j & j

By:	UnivCD ...w

Generated subgoal:

1 1. i :
2. j :
3. 0<ij
iij & jij
1 step

About:

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