`BookProof.ChapterPaleyWienerSampling.BandLimited.eq_bandSignal` (hf : BandLimited T f) (x : ℝ) : f x = bandSignal (T := T) (bandSpectrum T f) x

Initializing...

`BookProof.ChapterPaleyWienerSampling.BandLimited.eq_bandSignal` (hf : BandLimited T f) (x : ℝ) : f x = bandSignal (T := T) (bandSpectrum T f) x · Prove2Me