`BookProof.ChapterPaleyWienerSampling.BandLimited.eq_of_samples_eq` (hf : BandLimited T f) (hg : BandLimited T g) (h : ∀ n : ℤ, f ((n : ℝ) / T) = g ((n : ℝ) / T)) : f = g

Initializing...

`BookProof.ChapterPaleyWienerSampling.BandLimited.eq_of_samples_eq` (hf : BandLimited T f) (hg : BandLimited T g) (h : ∀ n : ℤ, f ((n : ℝ) / T) = g ((n : ℝ) / T)) : f = g · Prove2Me