Def Nat.largeSchroder

Modification history

2025-12-08 16:53

Mathlib/Combinatorics/Enumerative/Schroder.lean

feat(Combinatorics/Enumerative/Catalan): large and small Schröder numbers (#30609)

Added Nat.largeSchroder View on Github →