Commit 2024-05-23 03:28 69db2651
View on Github →Feat(RingTheory/Ideal/AssociatedPrime): Union of associated primes is the set of zero divisors (#13100) Add lemma that the union of associated primes is the set of zero divisors.
Feat(RingTheory/Ideal/AssociatedPrime): Union of associated primes is the set of zero divisors (#13100) Add lemma that the union of associated primes is the set of zero divisors.