Theorem Polynomial.mul_comp

Modification history