Theorem Multiset.multinomial_zero

Modification history

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 →