Theorem SimpleGraph.compl_eq_deleteEdges

Modification history