Theorem Polynomial.idealSpan_range_update_divByMonic

Modification history

2026-03-02 13:09
Mathlib/Algebra/Polynomial/CoeffMem.lean
chore: remove extra monic hypotheses from divByMonic and modByMonic lemmas (#31817)
Modified Polynomial.idealSpan_range_update_divByMonicView on Github →
2024-12-29 20:43
Mathlib/Algebra/Polynomial/CoeffMem.lean
feat: quotienting out a polynomial in a family doesn't change the span (#20297) …
Added Polynomial.idealSpan_range_update_divByMonicView on Github →