Theorem Polynomial.coeff_mem_contentIdeal

Modification history

2025-06-12 07:14

Mathlib/RingTheory/Polynomial/ContentIdeal.lean

feat(RingTheory/Polynomial/ContentIdeal): the content ideal of a polynomial. (#25333) …

Added Polynomial.coeff_mem_contentIdeal View on Github →