Theorem SimpleGraph.degree_compl

Modification history