Nuprl Definition : sum-map
Σf[x] for x ∈ L == Σ(f[L[i]] | i < ||L||)
Definitions occuring in Statement :
sum: Σ(f[x] | x < k),
select: L[n],
length: ||as||
Definitions occuring in definition :
sum: Σ(f[x] | x < k),
length: ||as||,
select: L[n]
FDL editor aliases :
sum-map
Latex:
\mSigma{}f[x] for x \mmember{} L == \mSigma{}(f[L[i]] | i < ||L||)
Date html generated:
2016_05_15-PM-06_24_49
Last ObjectModification:
2015_09_23-AM-08_03_00
Theory : general
Home
Index