Nuprl Definition : lsum
Σ(f[x] | x ∈ L) == l_sum(map(λx.f[x];L))
Definitions occuring in Statement :
l_sum: l_sum(L),
map: map(f;as),
lambda: λx.A[x]
Definitions occuring in definition :
l_sum: l_sum(L),
map: map(f;as),
lambda: λx.A[x]
FDL editor aliases :
lsum
Latex:
\mSigma{}(f[x] | x \mmember{} L) == l\_sum(map(\mlambda{}x.f[x];L))
Date html generated:
2020_05_19-PM-09_46_26
Last ObjectModification:
2019_11_12-PM-11_09_34
Theory : list_1
Home
Index