binomial_theorem has definitions from the fields of mathematics,logic
1
[ noun ] (mathematics,logic) a theorem giving the expansion of a binomial raised to a given power
*