Theorem Polynomial.natDegree_le_natDegree

Modification history