Theorem Polynomial.map_evalRingHom_eval

Modification history