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}
▼ | Set of symbols |
▼ | Alphabet |
▼ | Deduction system |
▼ | Theory |
▼ | Zermelo-Fraenkel set theory |
▼ | Set |
▼ | Subset |
▼ | N-subset |
▼ | Set of N-subsets |
▼ | Binomial coefficient |