Theorem SimpleGraph.le_minDegree_of_forall_le_degree

Modification history