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

Initializing...

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