Theorem Nat.bell_succ'

Modification history

2025-10-28 18:17
Mathlib/Combinatorics/Enumerative/Bell.lean
feat(Combinatorics/Enumerative/Bell.lean): define standard Bell number (#26790)
Added Nat.bell_succ'View on Github →