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

Initializing...

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