Theorem Ideal.minimal_primes_comap_of_surjective

Modification history

2026-04-15 10:21
Mathlib/RingTheory/Ideal/MinimalPrime/Localization.lean
chore(RingTheory/Ideal/KrullsHeightTheorem): fix capitalization of `minimalPrimes` (#37463) …
Deleted Ideal.minimal_primes_comap_of_surjectiveView on Github →
2023-10-02 11:21
Mathlib/RingTheory/Ideal/MinimalPrime.lean
chore: fix typo `mimimal` to `minimal` (#7455)
Added Ideal.minimal_primes_comap_of_surjectiveView on Github →