Nuprl Definition : iseg_product
iseg_product(i;j) == C((j - i) + 1;j)
Definitions occuring in Statement :
combinations: C(n;m),
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
combinations: C(n;m),
add: n + m,
subtract: n - m,
natural_number: $n
FDL editor aliases :
iseg_product
Latex:
iseg\_product(i;j) == C((j - i) + 1;j)
Date html generated:
2016_05_15-PM-06_01_02
Last ObjectModification:
2015_09_23-AM-08_00_47
Theory : general
Home
Index