Theorem MvPolynomial.degreeOf_mul_X_self

Modification history