Theorem Polynomial.mul_self_modByMonic

Modification history

2024-03-24 09:17
Mathlib/Data/Polynomial/Div.lean
feat: Polynomial.mul_modByMonic (#11113) …
Added Polynomial.mul_self_modByMonicView on Github →