Def FirstOrder.Language.simpleGraphOfStructure

Modification history

2023-05-25 11:24

Mathlib/ModelTheory/Graph.lean

feat: port ModelTheory.Graph (#3989)

Added FirstOrder.Language.simpleGraphOfStructure View on Github →