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: n * m
Definitions occuring in definition : 
ml-map: ml-map(f;l)
, 
lambda: λx.A[x]
, 
multiply: n * 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