Theorem SimpleGraph.complete_graph_degree

Modification history