Commit 2025-05-01 08:12 0f6b6642
View on Github →feat(RingTheory/Ideal/AssociatedPrime/Basic): associated primes and exact sequence (#24453) Added properties of associated primes with respect to exact sequence. Also added another equivalent characterization of being an associated prime.