Theorem ValuativeRel.uniformizer_inv_le_iff

Modification history

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