Def SimpleGraph.singletonFinsubgraph

Modification history

2023-05-17 12:51

Mathlib/Combinatorics/SimpleGraph/Finsubgraph.lean

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

Added SimpleGraph.singletonFinsubgraph View on Github →