Def SimpleGraph.Subgraph.copy

Modification history

2023-02-27 10:46

Mathlib/Combinatorics/SimpleGraph/Subgraph.lean

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

Added SimpleGraph.Subgraph.copy View on Github →