Commit 2024-03-02 09:06 1aabff10
View on Github →feat: MvPolynomial.degreeOf_C_mul (#11073) Adds lemma about the degree of a polynomial multiplied by a constant.
feat: MvPolynomial.degreeOf_C_mul (#11073) Adds lemma about the degree of a polynomial multiplied by a constant.