IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
select listify id111 1. T : Type
2. n : 3. f : nT 4. 0n 5. i : {n..n}
(f{n..n})[(i-n)] = f(i)
By:
Arith
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
T
n
}
(f{n..n
