Theorem Polynomial.degree_mod_lt

Modification history

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