Nuprl Definition : ml-int-vec-mul

ml-int-vec-mul(a;as) ==  ml-map(λx.(a x);as)



Definitions occuring in Statement :  ml-map: ml-map(f;l) lambda: λx.A[x] multiply: m
Definitions occuring in definition :  ml-map: ml-map(f;l) lambda: λx.A[x] multiply: m
FDL editor aliases :  ml-int-vec-mul

Latex:
ml-int-vec-mul(a;as)  ==    ml-map(\mlambda{}x.(a  *  x);as)



Date html generated: 2017_09_29-PM-05_56_37
Last ObjectModification: 2017_05_19-PM-05_43_45

Theory : omega


Home Index