Theorem Nat.smallSchroder_succ_eq_largeSchroder_div_two

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.smallSchroder_succ_eq_largeSchroder_div_twoView on Github →