Theorem Ideal.mimimal_primes_comap_of_surjective

Modification history

2023-10-02 11:21
Mathlib/RingTheory/Ideal/MinimalPrime.lean
chore: fix typo `mimimal` to `minimal` (#7455)
Deleted Ideal.mimimal_primes_comap_of_surjectiveView on Github →
2023-05-21 15:37
Mathlib/RingTheory/Ideal/MinimalPrime.lean
feat: port RingTheory.Ideal.MinimalPrime (#4146) …
Added Ideal.mimimal_primes_comap_of_surjectiveView on Github →