`BookProof.ChapterShannonSampling.inner_kernLp_fourierBasis` (x : ℝ) (n : ℤ) : inner ℂ (kernLp (T := T) x) (fourierBasis (T := T) n) = (sinc (T * x + n) : ℝ)

Initializing...

`BookProof.ChapterShannonSampling.inner_kernLp_fourierBasis` (x : ℝ) (n : ℤ) : inner ℂ (kernLp (T := T) x) (fourierBasis (T := T) n) = (sinc (T * x + n) : ℝ) · Prove2Me