Theorem Ideal.multiset_prod_eq_bot

Modification history

2025-04-08 21:08
Mathlib/RingTheory/Ideal/Operations.lean
feat: generalize half of Mathlib.RingTheory (#23173) …
Modified Ideal.multiset_prod_eq_botView on Github →
2023-12-26 23:40
Mathlib/RingTheory/Ideal/Operations.lean
chore: deprecate `prod_zero_iff_exists_zero` (#9281) …
Added Ideal.multiset_prod_eq_botView on Github →