Nuprl Definition : rng_sum
Σ(r) i ≤ k < j. E[k] == Π i ≤ k < j. E[k]
Definitions occuring in Statement :
add_grp_of_rng: r↓+gp,
mon_itop: Π lb ≤ i < ub. E[i]
Definitions occuring in definition :
mon_itop: Π lb ≤ i < ub. E[i],
add_grp_of_rng: r↓+gp
Latex:
\mSigma{}(r) i \mleq{} k < j. E[k] == \mPi{} i \mleq{} k < j. E[k]
Date html generated:
2016_05_15-PM-00_22_00
Last ObjectModification:
2015_09_23-AM-06_25_36
Theory : rings_1
Home
Index