Theorem SimpleGraph.Walk.IsCycle.not_nil

Modification history