`BookProof.ChapterShannonSampling.integral_haar_eq` (g : AddCircle T → ℂ) : (T : ℂ) * ∫ z : AddCircle T, g z ∂haarAddCircle = ∫ ξ in (-(T / 2))..(-(T / 2) + T), g ξ

Initializing...

`BookProof.ChapterShannonSampling.integral_haar_eq` (g : AddCircle T → ℂ) : (T : ℂ) * ∫ z : AddCircle T, g z ∂haarAddCircle = ∫ ξ in (-(T / 2))..(-(T / 2) + T), g ξ · Prove2Me