Theorem Polynomial.contentIdeal_zero

Modification history

2025-07-02 00:11
Mathlib/RingTheory/Polynomial/ContentIdeal.lean
chore: rename contenIdeal_zero (#26599)
Added Polynomial.contentIdeal_zeroView on Github →