Theorem Polynomial.coe_evalEvalRingHom

Modification history