∫ Утверждение Mathlib
mem_ball_iff
Mathlib.Algebra.Order.Module.Archimedean
URI: https://scilib.ai/kg/mathlib#ArchimedeanClass.mem_ball_iff
∫ Утверждение Mathlib
Mathlib.Algebra.Order.Module.Archimedean
URI: https://scilib.ai/kg/mathlib#ArchimedeanClass.mem_ball_iff