Theorem Polynomial.contentIdeal_def

Modification history

2025-10-24 11:00

Mathlib/RingTheory/Polynomial/ContentIdeal.lean

chore(Data): `SetLike Finset` (#28241)

Modified Polynomial.contentIdeal_def View 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_def View on Github →