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

connectedComponentMk_mem

Mathlib.Combinatorics.SimpleGraph.Connectivity.Connected

URI: https://scilib.ai/kg/mathlib#SimpleGraph.ConnectedComponent.connectedComponentMk_mem

← MathLib Explorer