Theorem Polynomial.natDegree_modByMonic_le_left

Modification history

2024-12-20 09:05
Mathlib/Algebra/Polynomial/Div.lean
feat(Polynomial): bounding the coefficients of `modByMonic`/`divByMonic` (#19163) …
Added Polynomial.natDegree_modByMonic_le_leftView on Github →