`BookProof.ChapterG.no_shift_invariant_unit_vector` : ¬ ∃ Ψ : lp (fun _ : ℤ => ℂ) 2, ‖Ψ‖ = 1 ∧ ∀ k, Ψ (k + 1) = Ψ k

Initializing...

`BookProof.ChapterG.no_shift_invariant_unit_vector` : ¬ ∃ Ψ : lp (fun _ : ℤ => ℂ) 2, ‖Ψ‖ = 1 ∧ ∀ k, Ψ (k + 1) = Ψ k · Prove2Me