Nuprl Definition : fun-series-sum
Σn.f[n](z) == (fst(cnv)) z
Definitions occuring in Statement :
pi1: fst(t),
apply: f a
Definitions occuring in definition :
apply: f a,
pi1: fst(t)
FDL editor aliases :
fun-series-sum
Latex:
\mSigma{}n.f[n](z) == (fst(cnv)) z
Date html generated:
2016_05_18-AM-09_55_26
Last ObjectModification:
2015_09_23-AM-09_14_23
Theory : reals
Home
Index