∫ Утверждение Mathlib
structure_simpleGraphOfStructure
Mathlib.ModelTheory.Graph
URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.structure_simpleGraphOfStructure
∫ Утверждение Mathlib
Mathlib.ModelTheory.Graph
URI: https://scilib.ai/kg/mathlib#FirstOrder.Language.structure_simpleGraphOfStructure