Skip to content

Multinomials 2.2.0

Compare
Choose a tag to compare
@pi8027 pi8027 released this 18 Jan 14:24
· 10 commits to master since this release
07713f4

Compatibility with MathComp 2.2.0 and Coq 8.19.