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

Initializing...

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