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