Nuprl Definition : vs-bag-add
Σ{f[b] | b ∈ bs} == Σ(b∈bs). f[b]
Definitions occuring in Statement :
vs-add: x + y,
vs-0: 0,
lambda: λx.A[x],
bag-summation: Σ(x∈b). f[x]
Definitions occuring in definition :
bag-summation: Σ(x∈b). f[x],
vs-0: 0,
lambda: λx.A[x],
vs-add: x + y
FDL editor aliases :
vs-bag-add
Latex:
\mSigma{}\{f[b] | b \mmember{} bs\} == \mSigma{}(b\mmember{}bs). f[b]
Date html generated:
2018_05_22-PM-09_41_26
Last ObjectModification:
2017_11_10-PM-06_27_02
Theory : linear!algebra
Home
Index