PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
At:
sum-ite
k:
, f,g:(
k
), p:(
k
). sum(if p(i)
f(i)+g(i) else f(i) fi | i < k) = sum(f(i) | i < k)+sum(if p(i)
g(i) else 0 fi | i < k)
By:
SumInd
Generated subgoals:
None
About:
PrintForm
Definitions
graph
1
1
Sections
Graphs
Doc
k:
, f,g:(k
), p:(k
). sum(if p(i)
f(i)+g(i) else f(i) fi | i < k) = sum(f(i) | i < k)+sum(if p(i) g(i) else 0 fi | i < k)