Theorem Polynomial.toFinsupp_neg

Modification history