Def SimpleGraph.Subgraph.degree

Modification history