Theorem Polynomial.natDegree_cubic

Modification history