`BookProof.ChapterAbelianCyclicModel.integral_repMeasure` (f : C(X, ℂ)) : inner ℂ xi (pi f xi) = ∫ x, f x ∂(repMeasure pi xi)

Initializing...

`BookProof.ChapterAbelianCyclicModel.integral_repMeasure` (f : C(X, ℂ)) : inner ℂ xi (pi f xi) = ∫ x, f x ∂(repMeasure pi xi) · Prove2Me