`BookProof.NavierStokesFlow.FockOfFock.numberDensityOp_eq_sum_numberOp` (dens : M → Ω → ℝ) (ξ : Ω) {n : Conf M} {S : Finset M} (hS : n.support ⊆ S) : numberDensityOp dens ξ (fockBa

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.numberDensityOp_eq_sum_numberOp` (dens : M → Ω → ℝ) (ξ : Ω) {n : Conf M} {S : Finset M} (hS : n.support ⊆ S) : numberDensityOp dens ξ (fockBa · Prove2Me