`BookProof.ChapterGaugeCasimirAverage.isPhysicalObservable_of_tendsto` {ι : Type*} {l : Filter ι} [l.NeBot] {f : ι → X → ℝ} (hf : ∀ i, IsPhysicalObservable G (f i)) {F : X → ℝ} (h

Initializing...

`BookProof.ChapterGaugeCasimirAverage.isPhysicalObservable_of_tendsto` {ι : Type*} {l : Filter ι} [l.NeBot] {f : ι → X → ℝ} (hf : ∀ i, IsPhysicalObservable G (f i)) {F : X → ℝ} (h · Prove2Me