Theorem Polynomial.degree_mul_le_of_le

Modification history