IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
cons member2211 1. T : Type
2. l : T List
3. T 4. x : T 5. i : 6. i<||l||
7. x = l[i]
x = l[(i+1-1)]
By:
ArithSimp 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
x = l[(i+1-1)]
