Theorem SimpleGraph.Walk.IsCycle.not_of_nil

Modification history