Theorem Polynomial.idealSpan_range_update_divByMonic

Modification history

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 →