Theorem SimpleGraph.Walk.IsPath.isCycles_spanningCoe_toSubgraph_sup_edge

Modification history