`BookProof.NavierStokesFlow.LagrangianEsa.latticeLagCLM_isSymmetric` (v : Fin 3 → LinfZ) (w : LinfZ) (fr : Fin 3 → ℝ) (nu : ℝ) : ((latticeLagCLM v w fr nu : L2Z →L[ℂ] L2Z) : L2Z →ₗ

Initializing...

`BookProof.NavierStokesFlow.LagrangianEsa.latticeLagCLM_isSymmetric` (v : Fin 3 → LinfZ) (w : LinfZ) (fr : Fin 3 → ℝ) (nu : ℝ) : ((latticeLagCLM v w fr nu : L2Z →L[ℂ] L2Z) : L2Z →ₗ · Prove2Me