Theorem SimpleGraph.Walk.IsCycle.isPath_takeUntil

Modification history