ThmDex – An index of mathematical definitions, results, and conjectures.
F9700
Formulation 0
Let $n \in \mathbb{N}$ be a D996: Natural number.
The central binomial coefficient with respect to $n$ is the D996: Natural number \begin{equation} \binom{2 n}{n} = \left| \mathcal{P}_n \{ 1, \ldots, 2 n \} \right| \end{equation}