Theorem Polynomial.reverse_neg

Modification history