∀ {V : Type u} {G : SimpleGraph V} {s : Set V} {u v : V} (w : G.Walk u v) (hw : ∀ x ∈ w.support, x ∈ s),
  SimpleGraph.Walk.map (SimpleGraph.Embedding.induce s).toHom (SimpleGraph.Walk.induce s w hw) = w