Theorem Polynomial.eval₂_intCastRingHom_X

Modification history