Nuprl Definition : double_sum
sum(f[x; y] | x < n; y < m) == Σ(Σ(f[x; y] | y < m) | x < n)
Definitions occuring in Statement :
sum: Σ(f[x] | x < k)
Definitions occuring in definition :
sum: Σ(f[x] | x < k)
FDL editor aliases :
double_sum
Latex:
sum(f[x; y] | x < n; y < m) == \mSigma{}(\mSigma{}(f[x; y] | y < m) | x < n)
Date html generated:
2016_05_14-PM-09_31_42
Last ObjectModification:
2015_09_22-PM-06_03_21
Theory : num_thy_1
Home
Index