ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F3578 on D4139: Catalan sequence
F3578
Formulation 0
Let $\mathbb{N}$ be the D225: Set of natural numbers.
The Catalan sequence is the D997: Natural number sequence \begin{equation} \mathbb{N} \to \mathbb{N}, \quad n \mapsto \frac{1}{1 + n} \binom{2 n}{n} \end{equation}