Nuprl Definition : qv-mul

qv-mul(r;bs) ==  map(λb.(r b);bs)



Definitions occuring in Statement :  qmul: s map: map(f;as) lambda: λx.A[x]
Definitions occuring in definition :  map: map(f;as) lambda: λx.A[x] qmul: 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