Theorem Polynomial.coeffList_neg

Modification history