∫ Утверждение Mathlib
int_lt_one_iff
Mathlib.NumberTheory.Padics.PadicNorm
URI: https://scilib.ai/kg/mathlib#padicNorm.int_lt_one_iff
∫ Утверждение Mathlib
Mathlib.NumberTheory.Padics.PadicNorm
URI: https://scilib.ai/kg/mathlib#padicNorm.int_lt_one_iff