search

math-comp / multinomials

Multinomials for the Mathematical Components library.
Other
14 stars 12 forks source link

seq compatibility with math-comp/math-comp#790 #73

Closed JasonGross closed 1 year ago

JasonGross commented 1 year ago

Companion of #56, see #56 for explanation

strub commented 1 year ago

Thank you.