Nuprl Definition : fps-add
(f+g) == λb.(+r f[b] g[b])
Definitions occuring in Statement :
fps-coeff: f[b],
apply: f a,
lambda: λx.A[x],
rng_plus: +r
Definitions occuring in definition :
lambda: λx.A[x],
apply: f a,
rng_plus: +r,
fps-coeff: f[b]
FDL editor aliases :
fps-add
Latex:
(f+g) == \mlambda{}b.(+r f[b] g[b])
Date html generated:
2016_05_15-PM-09_47_28
Last ObjectModification:
2015_09_23-AM-08_21_11
Theory : power!series
Home
Index