Nuprl Definition : fps-product
Π(x∈b).f[x] == Πx ∈ b. f[x]
Definitions occuring in Statement :
fps-mul: (f*g),
fps-one: 1,
bag-product: Πx ∈ b. f[x],
lambda: λx.A[x]
Definitions occuring in definition :
bag-product: Πx ∈ b. f[x],
fps-one: 1,
lambda: λx.A[x],
fps-mul: (f*g)
FDL editor aliases :
fps-product
Latex:
\mPi{}(x\mmember{}b).f[x] == \mPi{}x \mmember{} b. f[x]
Date html generated:
2016_05_15-PM-09_50_44
Last ObjectModification:
2015_09_23-AM-08_21_19
Theory : power!series
Home
Index