Nuprl Definition : rng_lsum
Σ{A,r} x ∈ as. f[x] == For{r↓+gp} x ∈ as. f[x]
Definitions occuring in Statement :
mon_for: For{g} x ∈ as. f[x],
add_grp_of_rng: r↓+gp
Definitions occuring in definition :
mon_for: For{g} x ∈ as. f[x],
add_grp_of_rng: r↓+gp
Latex:
\mSigma{}\{A,r\} x \mmember{} as. f[x] == For\{r\mdownarrow{}+gp\} x \mmember{} as. f[x]
Date html generated:
2016_05_16-AM-08_11_39
Last ObjectModification:
2015_09_23-AM-09_52_23
Theory : list_3
Home
Index