IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
finite-partition11 1. k : 2. 0k 3. p : k( List)
4. j : k 5. x : ||p(j)||
6. (p(j))[x]<0
p(j) 0 List
By:
Obvious
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
p(j) 
