Def minimalPrimes
Modification history
2024-02-08 13:29
Mathlib/RingTheory/Ideal/MinimalPrime.lean
chore: tidy various files (#10311)
Modified minimalPrimesView on Github →2024-01-18 10:31
Mathlib/RingTheory/Ideal/MinimalPrime.lean
feat: Lemma on Monoid Localization and Consequences on Minimal Primes (#9640)
Modified minimalPrimesView on Github →