Theorem Polynomial.coeff_expand_mul'

Modification history