Nuprl Definition : int-bag-product
Π(b) == Πx ∈ b. x
Definitions occuring in Statement :
bag-product: Πx ∈ b. f[x],
lambda: λx.A[x],
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
bag-product: Πx ∈ b. f[x],
natural_number: $n,
lambda: λx.A[x],
multiply: n * m
FDL editor aliases :
int-bag-product
Latex:
\mPi{}(b) == \mPi{}x \mmember{} b. x
Date html generated:
2016_05_15-PM-02_33_11
Last ObjectModification:
2015_09_23-AM-07_39_29
Theory : bags
Home
Index