Commit 2021-05-19 15:49 ed4161c5
View on Github →feat(data/polynomial/coeff): generalize polynomial.coeff_smul to match mv_polynomial.coeff_smul (#7663)
Notably this means these lemmas cover nat and int actions.
feat(data/polynomial/coeff): generalize polynomial.coeff_smul to match mv_polynomial.coeff_smul (#7663)
Notably this means these lemmas cover nat and int actions.