Theorem Polynomial.monomial_mul_X_pow

Modification history