Evaluate binomial coefficients: Difference between revisions

Content deleted Content added
Grondilu (talk | contribs)
Undo revision 156071 by Grondilu (talk) on second thought this is a bad idea
m '''See Also:''' * Combinations and permutations
Line 7:
: <math>\binom{n}{k} = \frac{n!}{(n-k)!k!} = \frac{n(n-1)(n-2)\ldots(n-k+1)}{k(k-1)(k-2)\ldots 1}</math>
 
'''See Also:'''
* [[Combinations and permutations]]
{{Template:Combinations and permutations}}
=={{header|ACL2}}==