[STATEMENT]
lemma linepath_translate_right: "linepath (a + c) (b + c) = (\<lambda>x. x + c) \<circ> linepath a b"
[PROOF STATE]
proof (prove)
goal (1 subgoal):
 1. linepath (a + c) (b + c) = (\<lambda>x. x + c) \<circ> linepath a b
[PROOF STEP]
by (auto simp: fun_eq_iff linepath_def algebra_simps)