IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
factors smaller2
1
1. k : 
2. i : {2..k
}
3. j : 
4. i
j = k
2 
j < k & i<k
| By: |
2j Asserted |
Generated subgoals:
| 1 |
2j
 | 4 steps |
| 2 |
5. 2j
j<k
| 1 step |
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
