Theorem SimpleGraph.maxDegree_le_of_forall_degree_le

Modification history