Theorem Polynomial.coeff_inj

Modification history