Theorem Polynomial.mul_eq_sum_sum

Modification history