Theorem Polynomial.X_mul_monomial

Modification history