CountComb() == PolyAccumComb(
;
n,x.(n + 1);0)
Definitions :
PolyAccumComb: PolyAccumComb(B;f;x),
nat: ,
lambda: x.A[x],
add: n + m,
natural_number: $n
FDL editor aliases :
CountComb
CountComb() == PolyAccumComb(\mBbbN{};\mlambda{}n,x.(n + 1);0)
Date html generated:
2010_08_27-PM-08_23_54
Last ObjectModification:
2010_06_23-PM-05_24_43
Home
Index