Theorem Nat.multinomial_spec

Modification history

2024-05-27 08:32

Mathlib/Data/Nat/Choose/Multinomial.lean

chore: Use the new `∑ i ∈ s, f i` notation (#13209) …

Modified Nat.multinomial_spec View on Github →

2023-04-07 13:27

Mathlib/Data/Nat/Choose/Multinomial.lean

feat: port Data.Nat.Choose.Multinomial (#2361) …

Added Nat.multinomial_spec View on Github →