∫ Утверждение Mathlib
padic_eq_padicNorm
Mathlib.NumberTheory.Ostrowski
URI: https://scilib.ai/kg/mathlib#Rat.AbsoluteValue.padic_eq_padicNorm
∫ Утверждение Mathlib
Mathlib.NumberTheory.Ostrowski
URI: https://scilib.ai/kg/mathlib#Rat.AbsoluteValue.padic_eq_padicNorm