search

math-comp / multinomials

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

deprecated lemma #60

Closed affeldt-aist closed 11 months ago

affeldt-aist commented 2 years ago

https://github.com/math-comp/multinomials/blob/aa04029692142b73e80a8a0bb3dfc37f0ba68481/src/mpoly.v#L1507

note that big_uncond is deprecated and will not be in the next release of mathcomp (use big_rmcond instead)

pi8027 commented 11 months ago

Fixed by #67.