Theorem Nat.multinomial_two_mul_le_mul_multinomial

Modification history

2024-08-01 13:36
Mathlib/Data/Nat/Choose/Multinomial.lean
feat: Upper bound on multinomial coefficients with even exponent (#15338) …
Added Nat.multinomial_two_mul_le_mul_multinomialView on Github →