Theorem Nat.choose_mul_add

Modification history

2024-11-07 22:27
Mathlib/Data/Nat/Choose/Mul.lean
feat(Combinatorics/Enumerative/Bell): number of ways of partitioning a set into subsets of given cardinalities (#15644) …
Added Nat.choose_mul_addView on Github →