Theorem SimpleGraph.Walk.IsCycle.isCycles_spanningCoe_toSubgraph

Modification history