Theorem Polynomial.coeff_expand_mul

Modification history