Theorem SimpleGraph.adj_comm

Modification history