Nuprl Definition : sum-in-vs
Σ{f[i] | n≤i≤m} == Σ{f[i] | i ∈ [n, m + 1)}
Definitions occuring in Statement :
vs-bag-add: Σ{f[b] | b ∈ bs},
from-upto: [n, m),
add: n + m,
natural_number: $n
Definitions occuring in definition :
vs-bag-add: Σ{f[b] | b ∈ bs},
from-upto: [n, m),
add: n + m,
natural_number: $n
FDL editor aliases :
sum-in-vs
Latex:
\mSigma{}\{f[i] | n\mleq{}i\mleq{}m\} == \mSigma{}\{f[i] | i \mmember{} [n, m + 1)\}
Date html generated:
2019_10_31-AM-06_25_57
Last ObjectModification:
2019_08_08-AM-11_53_09
Theory : linear!algebra
Home
Index