Nuprl Definition : real-vec-mul

a*X ==  λi.(a (X i))



Definitions occuring in Statement :  rmul: b apply: a lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] rmul: b apply: a
FDL editor aliases :  real-vec-mul

Latex:
a*X  ==    \mlambda{}i.(a  *  (X  i))



Date html generated: 2016_05_18-AM-09_46_29
Last ObjectModification: 2015_09_23-AM-09_13_11

Theory : reals


Home Index