Commit 2026-03-20 22:47 6f7b1f3f
View on Github →feat(Data/Nat/Choose/Multinomial): rename Multiset.multinomial (#36611)
Rename Multiset.multinomial to Multiset.countPerms.
See Zulip thread : #mathlib4 > Multinomial coefficients
This will be used in #35830 to allow another, more natural, definition of Multiset.multinomial.
Co-authored with: @mariainesdff