Theorem Polynomial.monomial_zero_left

Modification history