Nuprl Definition : rng_mssum
Σx ∈ a. f[x] == msFor{r↓+gp} x ∈ a. f[x]
Definitions occuring in Statement :
mset_for: mset_for,
add_grp_of_rng: r↓+gp
Definitions occuring in definition :
mset_for: mset_for,
add_grp_of_rng: r↓+gp
Latex:
\mSigma{}x \mmember{} a. f[x] == msFor\{r\mdownarrow{}+gp\} x \mmember{} a. f[x]
Date html generated:
2016_05_16-AM-08_11_46
Last ObjectModification:
2015_09_23-AM-09_52_23
Theory : list_3
Home
Index