Nuprl Definition : formal-sum-mul
k * x == bag-map(λp.let k',s = p in <k * k', s>;x)
Definitions occuring in Statement :
infix_ap: x f y,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
rng_times: *,
bag-map: bag-map(f;bs)
Definitions occuring in definition :
bag-map: bag-map(f;bs),
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
infix_ap: x f y,
rng_times: *
FDL editor aliases :
formal-sum-mul
formal-sum-mul
Latex:
k * x == bag-map(\mlambda{}p.let k',s = p in <k * k', s>x)
Date html generated:
2018_05_22-PM-09_44_27
Last ObjectModification:
2017_11_16-PM-04_32_27
Theory : linear!algebra
Home
Index