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

toSimpleGraph_hom_apply

Mathlib.Combinatorics.SimpleGraph.Connectivity.Connected

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

← MathLib Explorer