Def SimpleGraph.Subgraph.degree

Modification history

2023-02-27 10:46

Mathlib/Combinatorics/SimpleGraph/Subgraph.lean

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

Added SimpleGraph.Subgraph.degree View on Github →