Theorem Polynomial.monomial_injective

Modification history