∫ Утверждение Mathlib
lt_dist_iff_lt_dist_coe_center
Mathlib.Analysis.Complex.UpperHalfPlane.Metric
URI: https://scilib.ai/kg/mathlib#UpperHalfPlane.lt_dist_iff_lt_dist_coe_center
∫ Утверждение Mathlib
Mathlib.Analysis.Complex.UpperHalfPlane.Metric
URI: https://scilib.ai/kg/mathlib#UpperHalfPlane.lt_dist_iff_lt_dist_coe_center