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