Nuprl Definition : fps-scalar-mul
(c)*f == λb.(c * f[b])
Definitions occuring in Statement :
fps-coeff: f[b],
infix_ap: x f y,
lambda: λx.A[x],
rng_times: *
Definitions occuring in definition :
lambda: λx.A[x],
infix_ap: x f y,
rng_times: *,
fps-coeff: f[b]
FDL editor aliases :
fps-scalar-mul
Latex:
(c)*f == \mlambda{}b.(c * f[b])
Date html generated:
2016_05_15-PM-09_51_02
Last ObjectModification:
2015_09_23-AM-08_21_21
Theory : power!series
Home
Index