Theorem SimpleGraph.simpleGraphOfStructure

Modification history

2023-05-25 11:24

Mathlib/ModelTheory/Graph.lean

feat: port ModelTheory.Graph (#3989)

Added SimpleGraph.simpleGraphOfStructure View on Github →