Theorem SimpleGraph.Walk.isCycle_reverse

Modification history