Commit 2025-10-28 18:17 3a0b00ee

View on Github →

feat(Combinatorics/Enumerative/Bell.lean): define standard Bell number (#26790)

Estimated changes

added theorem Nat.bell_one
added theorem Nat.bell_succ'
added theorem Nat.bell_succ
added theorem Nat.bell_two
added theorem Nat.bell_zero