Theorem SimpleGraph.Walk.exists_concat_eq_cons

Modification history