Theorem Multiset.multinomial_zero

Modification history

2026-04-10 17:41
Mathlib/Data/Nat/Choose/Multinomial.lean
feat(Data/Nat/Choose/Multinomial): multinomial coefficients (#35830) …
Added Multiset.multinomial_zeroView on Github →
2026-03-20 22:47
Mathlib/Data/Nat/Choose/Multinomial.lean
feat(Data/Nat/Choose/Multinomial): rename Multiset.multinomial (#36611) …
Deleted Multiset.multinomial_zeroView on Github →
2024-05-14 23:22
Mathlib/Data/Nat/Choose/Multinomial.lean
chore: robustify proofs against leanprover/lean4#4061 (#12906) …
Modified Multiset.multinomial_zeroView on Github →
2024-02-29 18:56
Mathlib/Data/Nat/Choose/Multinomial.lean
feat: Add norm_iteratedFDeriv_prod_le using Sym (#10022) …
Added Multiset.multinomial_zeroView on Github →