Theorem Polynomial.mapRingHom_comp

Modification history