Theorem SimpleGraph.degree_le_maxDegree

Modification history