Theorem Polynomial.coeff_injective

Modification history