Theorem ValuationRing.of_integers
Modification history
2025-07-06 01:40
Mathlib/RingTheory/Valuation/ValuationRing.lean
chore(RingTheory/Valuation): Valution.Integers implies IsFractionRing (#26524) …
Modified ValuationRing.of_integersView on Github →