Multinomials 1.6.0
Compatibility with mathcomp 1.17.0.
This versions changes the logical path of the library to mathcomp.multinomials
Compatibility with mathcomp 1.17.0.
This versions changes the logical path of the library to mathcomp.multinomials