`BookProof.NavierStokesFlow.FockOfFock.confEnergy_eq_sum` {ω : M → ℝ} {n : Conf M} {S : Finset M} (hS : n.support ⊆ S) : confEnergy ω n = ∑ m ∈ S, (n m : ℝ) * ω m

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.confEnergy_eq_sum` {ω : M → ℝ} {n : Conf M} {S : Finset M} (hS : n.support ⊆ S) : confEnergy ω n = ∑ m ∈ S, (n m : ℝ) * ω m · Prove2Me