∫ Утверждение Mathlib
infsep_zero_iff_subsingleton
Mathlib.Topology.MetricSpace.Infsep
URI: https://scilib.ai/kg/mathlib#Finset.infsep_zero_iff_subsingleton
∫ Утверждение Mathlib
Mathlib.Topology.MetricSpace.Infsep
URI: https://scilib.ai/kg/mathlib#Finset.infsep_zero_iff_subsingleton