∫ Утверждение Mathlib
ball_eq_empty_iff
Mathlib.Topology.EMetricSpace.Defs
URI: https://scilib.ai/kg/mathlib#EMetric.ball_eq_empty_iff
∫ Утверждение Mathlib
Mathlib.Topology.EMetricSpace.Defs
URI: https://scilib.ai/kg/mathlib#EMetric.ball_eq_empty_iff