Theorem Polynomial.dvd_of_infinite_eval_dvd_eval

Modification history

2026-02-25 20:25
Mathlib/Analysis/Polynomial/Basic.lean
feat: asymptotic lemmas on the `cobounded` filter (#34920) …
Added Polynomial.dvd_of_infinite_eval_dvd_evalView on Github →