Theorem Polynomial.monomial_mul_X

Modification history