`BookProof.ChapterGaugeCasimirAverage.finiteGaugeAverage_isPhysicalObservable` (f : X → ℝ) : IsPhysicalObservable G (finiteGaugeAverage (X := X) G f)

Initializing...

`BookProof.ChapterGaugeCasimirAverage.finiteGaugeAverage_isPhysicalObservable` (f : X → ℝ) : IsPhysicalObservable G (finiteGaugeAverage (X := X) G f) · Prove2Me