Theorem Polynomial.self_mul_modByMonic

Modification history

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