Commit 2026-04-15 10:21 a8913b93
View on Github →chore(RingTheory/Ideal/KrullsHeightTheorem): fix capitalization of minimalPrimes (#37463)
Fixed capitalization convention for minimal_prime to lower camel case minimalPrime according to mathlib naming conventions. There is one changed lemma in RingTheory/Ideal/KrullsHeightTheorem and one in RingTheory/Ideal/MinimalPrime/Localization.