Theorem SimpleGraph.Walk.not_nil_of_tail_not_nil

Modification history