∫ Утверждение Mathlib
le_valuation_add
Mathlib.NumberTheory.Padics.PadicIntegers
URI: https://scilib.ai/kg/mathlib#PadicInt.le_valuation_add
∫ Утверждение Mathlib
Mathlib.NumberTheory.Padics.PadicIntegers
URI: https://scilib.ai/kg/mathlib#PadicInt.le_valuation_add