Theorem SimpleGraph.Walk.not_nil_of_ne

Modification history