Def SimpleGraph.degree

Modification history