IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
card pi vs nsub pi
1
2
1. b : 
0
1 ~ (
i:0. b(i))
| By: |
Compute i:0. b(i) * 1 |
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
