`BookProof.ChapterAbelianGelfandModel.integral_stateMeasure` (g : C(X, ℂ)) : psi g = ∫ x, g x ∂(stateMeasure psi hpos)

Initializing...

`BookProof.ChapterAbelianGelfandModel.integral_stateMeasure` (g : C(X, ℂ)) : psi g = ∫ x, g x ∂(stateMeasure psi hpos) · Prove2Me