`BookProof.NavierStokesFlow.LagrangianEsa.LagrangianFullData.isSymmetricDom_sq` {D : Submodule ℂ F} {A : D →ₗ[ℂ] D} (hA : IsSymmetricDom A) : IsSymmetricDom (A.comp A)

Initializing...

`BookProof.NavierStokesFlow.LagrangianEsa.LagrangianFullData.isSymmetricDom_sq` {D : Submodule ℂ F} {A : D →ₗ[ℂ] D} (hA : IsSymmetricDom A) : IsSymmetricDom (A.comp A) · Prove2Me