`BookProof.NavierStokesFlow.FullEsa.IsSymmetricDom.sum` {ι : Type*} (s : Finset ι) {A : ι → (D →ₗ[ℂ] D)} (hA : ∀ i ∈ s, IsSymmetricDom (A i)) : IsSymmetricDom (∑ i ∈ s, A i)

Initializing...

`BookProof.NavierStokesFlow.FullEsa.IsSymmetricDom.sum` {ι : Type*} (s : Finset ι) {A : ι → (D →ₗ[ℂ] D)} (hA : ∀ i ∈ s, IsSymmetricDom (A i)) : IsSymmetricDom (∑ i ∈ s, A i) · Prove2Me