Theorem Polynomial.modByMonic_self

Modification history

2026-06-09 00:16
Mathlib/Algebra/Polynomial/Div.lean
feat(Algebra/Polynomial): lemmas about `modByMonic` (#37955) …
Added Polynomial.modByMonic_selfView on Github →