`BookProof.NavierStokesFlow.FockOfFock.numberDensityOp_basis` (dens : M → Ω → ℝ) (ξ : Ω) (n : Conf M) : numberDensityOp dens ξ (fockBasis n) = ((confDensity dens n ξ : ℝ) : ℂ) • fo

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.numberDensityOp_basis` (dens : M → Ω → ℝ) (ξ : Ω) (n : Conf M) : numberDensityOp dens ξ (fockBasis n) = ((confDensity dens n ξ : ℝ) : ℂ) • fo · Prove2Me