Theorem Polynomial.mul_X_comp

Modification history