Nuprl Definition : mod_mssum
Σm x ∈ a. f[x] == msFor{m↓grp} x ∈ a. f[x]
Definitions occuring in Statement :
mset_for: mset_for,
grp_of_module: m↓grp
Definitions occuring in definition :
mset_for: mset_for,
grp_of_module: m↓grp
Latex:
\mSigma{}m x \mmember{} a. f[x] == msFor\{m\mdownarrow{}grp\} x \mmember{} a. f[x]
Date html generated:
2016_05_16-AM-08_12_04
Last ObjectModification:
2015_09_23-AM-09_52_24
Theory : list_3
Home
Index