ThmDex – An index of mathematical definitions, results, and conjectures.
F13409
Formulation 0
Let $n \in \mathbb{N}$ be a D996: Natural number.
Then
(1) \begin{equation} \binom{n}{0} = 1 \end{equation}
(2) \begin{equation} \binom{n}{n} = 1 \end{equation}