Def SimpleGraph.finsubgraphOfAdj

Modification history

2023-05-17 12:51

Mathlib/Combinatorics/SimpleGraph/Finsubgraph.lean

feat: port Combinatorics.SimpleGraph.Finsubgraph (#4010)

Added SimpleGraph.finsubgraphOfAdj View on Github →