`BookProof.NavierStokesFlow.FockOfFock.confEnergy_add` (ω₁ ω₂ : M → ℝ) (n : Conf M) : confEnergy (ω₁ + ω₂) n = confEnergy ω₁ n + confEnergy ω₂ n

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.confEnergy_add` (ω₁ ω₂ : M → ℝ) (n : Conf M) : confEnergy (ω₁ + ω₂) n = confEnergy ω₁ n + confEnergy ω₂ n · Prove2Me