Theorem Polynomial.coe_compRingHom

Modification history