Commit 2023-10-02 11:21 f1a26d74

View on Github →

chore: fix typo mimimal to minimal (#7455)

Estimated changes

Modified Mathlib/RingTheory/Ideal/MinimalPrime.lean

deleted theorem Ideal.mimimal_primes_comap_of_surjective

added theorem Ideal.minimal_primes_comap_of_surjective