Nuprl Definition : int-vec-mul
a * as == map(λx.(a * x);as)
Definitions occuring in Statement :
map: map(f;as),
lambda: λx.A[x],
multiply: n * m
Definitions occuring in definition :
map: map(f;as),
lambda: λx.A[x],
multiply: n * m
FDL editor aliases :
int-vec-mul
Latex:
a * as == map(\mlambda{}x.(a * x);as)
Date html generated:
2016_05_14-AM-06_56_26
Last ObjectModification:
2015_09_22-PM-05_51_17
Theory : omega
Home
Index