Theorem Polynomial.natDegree_linear

Modification history