Theorem Polynomial.map_mapRingHom_eval_map

Modification history