Theorem biUnion_associatedPrimes_eq_zero_divisors

Modification history

2025-04-23 09:49
Mathlib/RingTheory/Ideal/AssociatedPrime.lean
chore(RingTheory/Ideal): move associated prime (#23876) …
Modified biUnion_associatedPrimes_eq_zero_divisorsView on Github →
2024-05-23 03:28
Mathlib/RingTheory/Ideal/AssociatedPrime.lean
Feat(RingTheory/Ideal/AssociatedPrime): Union of associated primes is the set of zero divisors (#13100) …
Added biUnion_associatedPrimes_eq_zero_divisorsView on Github →