Theorem Polynomial.evalEvalRingHom_eq

Modification history