Theorem Polynomial.eval₂_eq_zero_of_dvd_of_eval₂_eq_zero

Modification history