Theorem Polynomial.evalRingHom_zero

Modification history