Theorem Polynomial.mapRingHom_id

Modification history