Theorem Valuation.Integers.isFractionRing

Modification history

2025-07-06 01:40
Mathlib/RingTheory/Valuation/ValuationRing.lean
chore(RingTheory/Valuation): Valution.Integers implies IsFractionRing (#26524) …
Added Valuation.Integers.isFractionRingView on Github →