∫ Утверждение Mathlib
not_limZero_const_of_nonzero
Mathlib.NumberTheory.Padics.PadicNumbers
URI: https://scilib.ai/kg/mathlib#PadicSeq.not_limZero_const_of_nonzero
∫ Утверждение Mathlib
Mathlib.NumberTheory.Padics.PadicNumbers
URI: https://scilib.ai/kg/mathlib#PadicSeq.not_limZero_const_of_nonzero