Nuprl Definition : qv-mul
qv-mul(r;bs) ==  map(λb.(r * b);bs)
Definitions occuring in Statement : 
qmul: r * s
, 
map: map(f;as)
, 
lambda: λx.A[x]
Definitions occuring in definition : 
map: map(f;as)
, 
lambda: λx.A[x]
, 
qmul: r * s
FDL editor aliases : 
qv-mul
Latex:
qv-mul(r;bs)  ==    map(\mlambda{}b.(r  *  b);bs)
Date html generated:
2016_05_15-PM-11_20_37
Last ObjectModification:
2015_09_23-AM-08_28_44
Theory : rationals
Home
Index