Theorem IsLocalization.AtPrime.prime_unique_of_minimal
Modification history
2025-08-05 07:35
Mathlib/RingTheory/KrullDimension/Zero.lean
chore: further >6month old deprecations (#27799)
Deleted IsLocalization.AtPrime.prime_unique_of_minimalView on Github →