Nuprl Definition : fps-exp
(f)^(n) == f ↑fps-rng(r) n
Definitions occuring in Statement :
fps-rng: fps-rng(r),
rng_nexp: e ↑r n
Definitions occuring in definition :
rng_nexp: e ↑r n,
fps-rng: fps-rng(r)
FDL editor aliases :
fps-exp
Latex:
(f)\^{}(n) == f \muparrow{}fps-rng(r) n
Date html generated:
2016_05_15-PM-09_52_13
Last ObjectModification:
2015_09_23-AM-08_21_23
Theory : power!series
Home
Index