Theorem Polynomial.dvd_modByMonic_sub

Modification history

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