`BookProof.ChapterGaugeCasimirAverage.gaugeAverage_of_isPhysicalObservable` (μ : Measure G) [IsProbabilityMeasure μ] {f : X → ℝ} (hf : IsPhysicalObservable G f) : gaugeAverage (X :

Initializing...

`BookProof.ChapterGaugeCasimirAverage.gaugeAverage_of_isPhysicalObservable` (μ : Measure G) [IsProbabilityMeasure μ] {f : X → ℝ} (hf : IsPhysicalObservable G f) : gaugeAverage (X : · Prove2Me