Theorem Polynomial.support_neg

Modification history