`BookProof.ChapterG.shift_invariant_l2_eq_zero` (Ψ : lp (fun _ : ℤ => ℂ) 2) (hΨ : ∀ k, Ψ (k + 1) = Ψ k) : Ψ = 0

Initializing...

`BookProof.ChapterG.shift_invariant_l2_eq_zero` (Ψ : lp (fun _ : ℤ => ℂ) 2) (hΨ : ∀ k, Ψ (k + 1) = Ψ k) : Ψ = 0 · Prove2Me