Theorem Polynomial.degree_smul_le

Modification history