Theorem Polynomial.monomial_left_inj

Modification history