`BookProof.NavierStokesFlow.FockOfFock.confEnergy_zero` (ω : M → ℝ) : confEnergy ω (0 : Conf M) = 0

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.confEnergy_zero` (ω : M → ℝ) : confEnergy ω (0 : Conf M) = 0 · Prove2Me