ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Subset
▼ N-subset
▼ Set of N-subsets
▼ Binomial coefficient
▼ Central binomial coefficient
Definition D4140
Catalan number
Children
▶ D4139: Catalan sequence