Theorem Polynomial.mod_eq_of_dvd_sub

Modification history

2025-11-21 12:10
Mathlib/Algebra/Polynomial/FieldDivision.lean
feat(Algebra/Polynomial): misc lemma about mod (#31634) …
Added Polynomial.mod_eq_of_dvd_subView on Github →