Theorem Polynomial.ringHom_eval₂_intCastRingHom

Modification history