Theorem SimpleGraph.Walk.IsCycle.adj_toSubgraph_iff_of_isCycles

Modification history