Theorem SimpleGraph.exists_maximal_degree_vertex

Modification history