PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
At:
sum
lower
bound
k,b:
, f:(
k
). (
x:
k. b
f(x))
b
k
sum(f(x) | x < k)
By:
SumInd
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
k,b:
, f:(k
). (x:k. b
f(x)) 
b
ksum(f(x) | x < k)