Theorem Ideal.minimalPrimes_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) …
Added Ideal.minimalPrimes_comap_of_surjectiveView on Github →