Def Nat.uniformBell

Modification history

2024-11-07 22:27

Mathlib/Combinatorics/Enumerative/Bell.lean

feat(Combinatorics/Enumerative/Bell): number of ways of partitioning a set into subsets of given cardinalities (#15644) …

Added Nat.uniformBell View on Github →