Theorem Polynomial.modByMonic_eq_zero_iff_dvd

Modification history

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