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