Nuprl - Proof: factor smaller

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: factor smaller

i:{2...}, j:{1...}. j<i

By:

Auto

Generated subgoal:

1 1. i : {2...}
2. j : {1...}
j<ij
2 steps

About:

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