Theorem Polynomial.contenIdeal_zero

Modification history

2025-07-02 00:11
Mathlib/RingTheory/Polynomial/ContentIdeal.lean
chore: rename contenIdeal_zero (#26599)
Deleted Polynomial.contenIdeal_zeroView 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.contenIdeal_zeroView on Github →