Nuprl Definition : vs-lift
vs-lift(vs;f;fs) == Σ{let k,s = p in k * f s | p ∈ fs}
Definitions occuring in Statement :
vs-bag-add: Σ{f[b] | b ∈ bs},
vs-mul: a * x,
apply: f a,
spread: spread def
Definitions occuring in definition :
vs-bag-add: Σ{f[b] | b ∈ bs},
spread: spread def,
vs-mul: a * x,
apply: f a
FDL editor aliases :
vs-lift
Latex:
vs-lift(vs;f;fs) == \mSigma{}\{let k,s = p in k * f s | p \mmember{} fs\}
Date html generated:
2018_05_22-PM-09_44_42
Last ObjectModification:
2017_11_10-PM-05_41_03
Theory : linear!algebra
Home
Index