Theorem Polynomial.natDegree_smul_le

Modification history