Theorem ValuativeRel.le_uniformizer_iff

Modification history

2025-11-20 14:55
Mathlib/RingTheory/Valuation/ValuativeRel/Basic.lean
feat(Valuation): uniformizer of discrete valuation (#30259)
Added ValuativeRel.le_uniformizer_iffView on Github →