Def SimpleGraph.Subgraph.edgeSet

Modification history

2023-02-27 10:46

Mathlib/Combinatorics/SimpleGraph/Subgraph.lean

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

Added SimpleGraph.Subgraph.edgeSet View on Github →