Theorem Polynomial.contentIdeal_le_contentIdeal_of_dvd

Modification history

2025-06-17 13:09
Mathlib/RingTheory/Polynomial/ContentIdeal.lean
feat(RingTheory/Polynomial/ContentIdeal): more theorems (#25960) …
Modified Polynomial.contentIdeal_le_contentIdeal_of_dvdView on Github →
2025-06-12 07:14
Mathlib/RingTheory/Polynomial/ContentIdeal.lean
feat(RingTheory/Polynomial/ContentIdeal): the content ideal of a polynomial. (#25333) …
Added Polynomial.contentIdeal_le_contentIdeal_of_dvdView on Github →