`BookProof.ChapterShannonSampling.bandSignal_sample` (F : AddCircle T → ℂ) (n : ℤ) : bandSignal (T := T) F (-(n / T)) = (T : ℂ) * fourierCoeff F n

Initializing...

`BookProof.ChapterShannonSampling.bandSignal_sample` (F : AddCircle T → ℂ) (n : ℤ) : bandSignal (T := T) F (-(n / T)) = (T : ℂ) * fourierCoeff F n · Prove2Me