Nuprl Definition : fps-summation
fps-summation(r;b;x.f[x]) == Σ(x∈b). f[x]
Definitions occuring in Statement :
fps-add: (f+g),
fps-zero: 0,
bag-summation: Σ(x∈b). f[x],
lambda: λx.A[x]
Definitions occuring in definition :
bag-summation: Σ(x∈b). f[x],
fps-zero: 0,
lambda: λx.A[x],
fps-add: (f+g)
FDL editor aliases :
fps-summation
Latex:
fps-summation(r;b;x.f[x]) == \mSigma{}(x\mmember{}b). f[x]
Date html generated:
2016_05_15-PM-09_48_23
Last ObjectModification:
2015_09_23-AM-08_21_15
Theory : power!series
Home
Index