Structure SimpleGraph.Subgraph

Modification history

2023-02-27 10:46

Mathlib/Combinatorics/SimpleGraph/Subgraph.lean

feat: port Combinatorics.SimpleGraph.Subgraph (#2495)

Added SimpleGraph.Subgraph View on Github →