Nuprl Definition : sum
Σ(f[x] | x < k) == sum_aux(k;0;0;x.f[x])
Definitions occuring in Statement :
sum_aux: sum_aux(k;v;i;x.f[x]),
natural_number: $n
Definitions occuring in definition :
sum_aux: sum_aux(k;v;i;x.f[x]),
natural_number: $n
FDL editor aliases :
sum
Latex:
\mSigma{}(f[x] | x < k) == sum\_aux(k;0;0;x.f[x])
Date html generated:
2016_05_14-AM-07_31_14
Last ObjectModification:
2015_09_22-PM-05_46_37
Theory : int_2
Home
Index