Theorem Polynomial.mul_X_pow_comp

Modification history