Theorem Polynomial.rootSet_neg

Modification history