Theorem ValuativeRel.uniformizer_pos

Modification history

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