Theorem associatedPrimes.subset_union_of_exact

Modification history

2025-05-01 08:12
Mathlib/RingTheory/Ideal/AssociatedPrime/Basic.lean
feat(RingTheory/Ideal/AssociatedPrime/Basic): associated primes and exact sequence (#24453) …
Added associatedPrimes.subset_union_of_exactView on Github →