Def Multiset.multinomial

Modification history

2026-02-24 10:38

Mathlib/Data/Nat/Choose/Multinomial.lean

chore: bump toolchain to v4.29.0-rc2 (#35708)

Deleted Multiset.multinomial View on Github →

2023-08-07 12:37

Mathlib/Data/Nat/Choose/Multinomial.lean

feat(Data/Finsupp): make toMultiset and antidiagonal computable (#6331) …

Added Multiset.multinomial View on Github →