Theorem SimpleGraph.dist_eq_one_iff_adj

Modification history