Adapt to https://github.com/math-comp/math-comp/pull/1545#119

proux01 merged 1 commit intomath-comp:mastermath-comp/multinomials:masterfrom

proux01:mc1545proux01/multinomials:mc1545Copy head branch name to clipboard