Theorem Polynomial.neg_comp

Modification history