Bell numbers in mathlib?

Stream: Equational

[Amir Livne Bar-on]

Thinking about issue 148, I tried to find Bell numbers in Mathlib. Catalan numbers exist under Mathlib.Combinatorics.Enumerative, and there is Finpartition for the kind of partitions that Bell numbers count. Searching for Bell in the API doesn't find anything.

Does anybody know if the definition exists? Otherwise it seems like we should separate their definition to a different issue, if only for task complexity considerations.

[Daniel Weber]

Perhaps ask in #Is there code for X? ?

[Terence Tao]

I can imagine providing the definition of a bell number and basic api being a useful contribution from this project to mathlib

[Eric Wieser]

Responded in the other thread

[Notification Bot]

2 messages were moved from this topic to #Is there code for X? > Bell numbers by Eric Wieser.