Nuprl Definition : combinations

C(n;m) ==  combinations_aux(1;n;m)


Definitions occuring in Statement :  combinations_aux: combinations_aux(b;n;m),  natural_number: $n
Definitions occuring in definition :  combinations_aux: combinations_aux(b;n;m),  natural_number: $n
FDL editor aliases :  combinations
Latex:
C(n;m)  ==    combinations\_aux(1;n;m)


Date html generated: 2016_05_15-PM-05_58_09
Last ObjectModification: 2015_09_23-AM-08_00_28

Theory : general


Home Index