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