Theorem Nat.bell_one

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_oneView on Github →