`BookProof.NavierStokesFlow.FockOfFock.dGamma_eq_sum_numberOp` (ω : M → ℝ) {n : Conf M} {S : Finset M} (hS : n.support ⊆ S) : dGamma ω (fockBasis n) = ∑ m ∈ S, ((ω m : ℝ) : ℂ) • nu

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.dGamma_eq_sum_numberOp` (ω : M → ℝ) {n : Conf M} {S : Finset M} (hS : n.support ⊆ S) : dGamma ω (fockBasis n) = ∑ m ∈ S, ((ω m : ℝ) : ℂ) • nu · Prove2Me