Theorem SimpleGraph.isClique_sup_edge_of_ne_sdiff

Modification history