`BookProof.NavierStokesFlow.FullEsa.IsSymmetricDom.anticomm` {A B : D →ₗ[ℂ] D} (hA : IsSymmetricDom A) (hB : IsSymmetricDom B) : IsSymmetricDom (A.comp B + B.comp A)

Initializing...

`BookProof.NavierStokesFlow.FullEsa.IsSymmetricDom.anticomm` {A B : D →ₗ[ℂ] D} (hA : IsSymmetricDom A) (hB : IsSymmetricDom B) : IsSymmetricDom (A.comp B + B.comp A) · Prove2Me