Theorem Polynomial.natDegree_smul

Modification history