Theorem Polynomial.natDegree_sub

Modification history