Commit 2023-08-02 03:48 8fd5c885
View on Github →chore: golf Polynomial.degree_mul_le
(#6263)
And other similar lemmas
With thanks to @adomani for adding these lemmas.
chore: golf Polynomial.degree_mul_le
(#6263)
And other similar lemmas
With thanks to @adomani for adding these lemmas.