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