Theorem MvPolynomial.degrees_mul_le

Modification history