Theorem Polynomial.mul_modByMonic

Modification history

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