`BookProof.ChapterGaugeCasimirAverage.physical_invariant_along_gaugeProjection` {G : Type*} [Group G] [MulAction G X] {f : X → ℝ} (hf : IsPhysicalObservable G f) {q : X → X} (hq :

Initializing...

`BookProof.ChapterGaugeCasimirAverage.physical_invariant_along_gaugeProjection` {G : Type*} [Group G] [MulAction G X] {f : X → ℝ} (hf : IsPhysicalObservable G f) {q : X → X} (hq : · Prove2Me