Theorem Polynomial.map_monomial

Modification history