Theorem Polynomial.toFinsupp_mul

Modification history