no goals
α : Type u_1
β : Type u_2
γ : Type ?u.172212
f g : α → β
c c₁ c₂ x : α
inst✝¹ : AddCommGroup α
inst✝ : Neg β
h : Antiperiodic f c
a : α
⊢ Antiperiodic (fun x => f (x - a)) c
simpa only [sub_eq_add_neg] using h.add_const (-a)