`BookProof.NavierStokesFlow.FockOfFock.dGamma_basis` (ω : M → ℝ) (n : Conf M) : dGamma ω (fockBasis n) = ((confEnergy ω n : ℝ) : ℂ) • fockBasis n

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.dGamma_basis` (ω : M → ℝ) (n : Conf M) : dGamma ω (fockBasis n) = ((confEnergy ω n : ℝ) : ℂ) • fockBasis n · Prove2Me