Theorem SimpleGraph.adj_edge

Modification history