Multinomial formula

Stream: maths

[Antoine Chambert-Loir]

The multinomial formula was apparently missing, hence I proved it. (Funnily, @María Inés de Frutos Fernández , we need it for divided power structures, but there the multinomial coefficients do not appear !)