`BookProof.ChapterShannonSampling.bandSignal_eq_circle_integral` (F : AddCircle T → ℂ) (x : ℝ) : bandSignal (T := T) F x = ∫ z : AddCircle T, conj (kern (T := T) x z) * F z

Initializing...

`BookProof.ChapterShannonSampling.bandSignal_eq_circle_integral` (F : AddCircle T → ℂ) (x : ℝ) : bandSignal (T := T) F x = ∫ z : AddCircle T, conj (kern (T := T) x z) * F z · Prove2Me