Theorem Polynomial.dvd_modByMonic_iff_dvd

Modification history

2026-06-09 00:16
Mathlib/Algebra/Polynomial/Div.lean
feat(Algebra/Polynomial): lemmas about `modByMonic` (#37955) …
Added Polynomial.dvd_modByMonic_iff_dvdView on Github →