Theorem IsLocalization.integerNormalization_eq_zero_iff

Modification history

2026-03-25 17:09
Mathlib/RingTheory/Localization/Integral.lean
feat(RingTheory/Localization/Integral): generalize `IsFractionRing.integerNormalization_eq_zero_iff` (#37003) …
Added IsLocalization.integerNormalization_eq_zero_iffView on Github →