`BookProof.NavierStokesFlow.MomentumEsa.fockSymbol_add` (n : ℕ → ℝ) (a b : Config) : fockSymbol n (a + b) + 1 = fockSymbol n a + fockSymbol n b

Initializing...

`BookProof.NavierStokesFlow.MomentumEsa.fockSymbol_add` (n : ℕ → ℝ) (a b : Config) : fockSymbol n (a + b) + 1 = fockSymbol n a + fockSymbol n b · Prove2Me