IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sum exponent122 1. i : 2. x,y:. xyixiy = i(x+y)
3. x : 4. y : 5. xy ixiy = i(x+y)
By:
Inst: Hyp:2 Using:[y | x]
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
x,y:
. x
y 
i
x
i
x
i
