`BookProof.NavierStokesFlow.AffineFiber.commForm_add` (H₁ H₂ N : D →ₗ[ℂ] F) (x : D) : commForm (H₁ + H₂) N x = commForm H₁ N x + commForm H₂ N x

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.commForm_add` (H₁ H₂ N : D →ₗ[ℂ] F) (x : D) : commForm (H₁ + H₂) N x = commForm H₁ N x + commForm H₂ N x · Prove2Me