Theorem Polynomial.monomial_one_right_eq_X_pow

Modification history