`BookProof.NavierStokesFlow.FullEsa.NSFullData.advection_isSymmetricDom` (i : Fin 3) : IsSymmetricDom (d.advection i)

Initializing...

`BookProof.NavierStokesFlow.FullEsa.NSFullData.advection_isSymmetricDom` (i : Fin 3) : IsSymmetricDom (d.advection i) · Prove2Me