`BookProof.ChapterG.gauge_symmetry_no_anomaly` {X : Type*} [MeasurableSpace X] (μ : Measure X) [IsProbabilityMeasure μ] (G : Type*) [Group G] (U : G → X → X) (f : X → ℝ) (hf : ∀ g

Initializing...

`BookProof.ChapterG.gauge_symmetry_no_anomaly` {X : Type*} [MeasurableSpace X] (μ : Measure X) [IsProbabilityMeasure μ] (G : Type*) [Group G] (U : G → X → X) (f : X → ℝ) (hf : ∀ g · Prove2Me