Theorem Polynomial.aroots_neg

Modification history