Theorem SimpleGraph.IsCycles.other_adj_of_adj

Modification history