`BookProof.ChapterShannonSampling.continuous_bandSignal_lp` (F : Lp ℂ 2 (haarAddCircle (T := T))) : Continuous (bandSignal (T := T) (F : AddCircle T → ℂ))

Initializing...

`BookProof.ChapterShannonSampling.continuous_bandSignal_lp` (F : Lp ℂ 2 (haarAddCircle (T := T))) : Continuous (bandSignal (T := T) (F : AddCircle T → ℂ)) · Prove2Me