`BookProof.ChapterShannonSampling.continuous_bandSignal` (F : AddCircle T → ℂ) (hF : IntegrableOn (fun ξ : ℝ => F ξ) (Ioc (-(T / 2)) (-(T / 2) + T)) volume) : Continuous (bandSigna

Initializing...

`BookProof.ChapterShannonSampling.continuous_bandSignal` (F : AddCircle T → ℂ) (hF : IntegrableOn (fun ξ : ℝ => F ξ) (Ioc (-(T / 2)) (-(T / 2) + T)) volume) : Continuous (bandSigna · Prove2Me