Theorem SimpleGraph.Walk.not_nil_of_isCycle_cons

Modification history