Theorem Ideal.minimal_primes_comap_of_surjective

Modification history

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 →