IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
sum lower bound k,b:, f:(k). (x:k. bf(x)) bksum(f(x) | x < k)
By:
SumInd
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
k,b:
, f:(
). (
f(x)) 
b
k
