Theorem MvPolynomial.degrees_pow_le

Modification history