Theorem Polynomial.isRoot_of_eval₂_map_eq_zero

Modification history