Theorem SimpleGraph.Walk.exists_eq_cons_of_ne

Modification history