Theorem Polynomial.mul_mod

Modification history

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