Theorem catalan_succ

Modification history

2026-04-29 10:38

Mathlib/Combinatorics/Enumerative/Catalan.lean

chore(Combinatorics/Enumerative/Catalan): split into `Basic` & `Tree` (#34854)

Modified catalan_succ View on Github →

2023-03-13 14:02

Mathlib/Combinatorics/Catalan.lean

feat: Port Combinatorics.Catalan (#2588)

Added catalan_succ View on Github →