Adapt to https://github.com/math-comp/math-comp/pull/1577#83

proux01 merged 1 commit into

math-comp:mastermath-comp/odd-order:masterfrom

proux01:mc1577proux01/odd-order:mc1577Copy head branch name to clipboard