Nuprl Definition : power-series
PowerSeries(X;r) == bag(X) ⟶ |r|
Definitions occuring in Statement :
bag: bag(T),
function: x:A ⟶ B[x],
rng_car: |r|
Definitions occuring in definition :
function: x:A ⟶ B[x],
bag: bag(T),
rng_car: |r|
FDL editor aliases :
pow
Latex:
PowerSeries(X;r) == bag(X) {}\mrightarrow{} |r|
Date html generated:
2016_05_15-PM-08_14_17
Last ObjectModification:
2015_09_23-AM-08_21_08
Theory : power!series
Home
Index