Theorem Polynomial.eval₂_C_X_eq_coe

Modification history