∫ Утверждение Mathlib
center_eq_univ_iff_radius_eq_ediam
Mathlib.Combinatorics.SimpleGraph.Diam
URI: https://scilib.ai/kg/mathlib#SimpleGraph.center_eq_univ_iff_radius_eq_ediam
∫ Утверждение Mathlib
Mathlib.Combinatorics.SimpleGraph.Diam
URI: https://scilib.ai/kg/mathlib#SimpleGraph.center_eq_univ_iff_radius_eq_ediam