Theorem Polynomial.erase_monomial

Modification history