Theorem Polynomial.contentIdeal_mul_eq_top_of_contentIdeal_eq_top

Modification history

2025-06-17 13:09
Mathlib/RingTheory/Polynomial/ContentIdeal.lean
feat(RingTheory/Polynomial/ContentIdeal): more theorems (#25960) …
Added Polynomial.contentIdeal_mul_eq_top_of_contentIdeal_eq_topView on Github →