∫ Утверждение Mathlib

radius_eq_iInf_iSup_edist

Mathlib.Combinatorics.SimpleGraph.Diam

URI: https://scilib.ai/kg/mathlib#SimpleGraph.radius_eq_iInf_iSup_edist

← MathLib Explorer