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