Theorem associatedPrimes.prod

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.prod View on Github →