`BookProof.ChapterPaleyWienerSampling.bandSignal_congr_ae` {F G : AddCircle T → ℂ} (h : F =ᵐ[haarAddCircle (T := T)] G) (x : ℝ) : bandSignal (T := T) F x = bandSignal (T := T) G x

Initializing...

`BookProof.ChapterPaleyWienerSampling.bandSignal_congr_ae` {F G : AddCircle T → ℂ} (h : F =ᵐ[haarAddCircle (T := T)] G) (x : ℝ) : bandSignal (T := T) F x = bandSignal (T := T) G x · Prove2Me