Theorem Polynomial.natDegree_linear_le

Modification history