Nuprl Definition : qsum
Σa ≤ j < b. E[j] == Σ(<ℚ+*>) a ≤ j < b. E[j]
Definitions occuring in Statement :
qrng: <ℚ+*>,
rng_sum: rng_sum
Definitions occuring in definition :
rng_sum: rng_sum,
qrng: <ℚ+*>
FDL editor aliases :
qsum
Latex:
\mSigma{}a \mleq{} j < b. E[j] == \mSigma{}(<\mBbbQ{}+*>) a \mleq{} j < b. E[j]
Date html generated:
2016_05_15-PM-11_06_11
Last ObjectModification:
2015_09_23-AM-08_27_39
Theory : rationals
Home
Index