`BookProof.NavierStokesFlow.FockOfFock.dGamma_add` (ω₁ ω₂ : M → ℝ) : dGamma (ω₁ + ω₂) = dGamma ω₁ + dGamma ω₂

Initializing...

`BookProof.NavierStokesFlow.FockOfFock.dGamma_add` (ω₁ ω₂ : M → ℝ) : dGamma (ω₁ + ω₂) = dGamma ω₁ + dGamma ω₂ · Prove2Me