Theorem Polynomial.eval₂_int_castRingHom_X

Modification history