Theorem SimpleGraph.ne_of_adj_of_not_adj

Modification history