Theorem Polynomial.expand_mul

Modification history