Theorem SimpleGraph.Walk.IsCycle.ncard_neighborSet_toSubgraph_eq_two

Modification history