Theorem Nat.multinomial_empty

Modification history

2024-06-07 03:20
Mathlib/Data/Nat/Choose/Multinomial.lean
chore: merge bump/v4.9.0 (#13584) …
Modified Nat.multinomial_emptyView on Github →
2024-06-03 08:09
Mathlib/Data/Nat/Choose/Multinomial.lean
chore: Rename `Nat.multinomial_nil` to `Nat.multinomial_empty` (#13437)
Added Nat.multinomial_emptyView on Github →