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