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