Theorem Nat.multinomial_two_mul_le_mul_multinomial

Modification history