Theorem SimpleGraph.adj_iff_exists_edge_coe

Modification history