Adapt to https://github.com/math-comp/math-comp/pull/863

math-comp / multinomials

Multinomials for the Mathematical Components library.

Other

14 stars 12 forks source link

Closed proux01 closed 1 year ago

proux01 commented 1 year ago

This should be backward compatible (CI will confirm).

proux01 commented 1 year ago

@strub CI green