`BookProof.NavierStokesFlow.LagrangianEsa.latticeLagCLM_isSelfAdjoint` (v : Fin 3 → LinfZ) (w : LinfZ) (fr : Fin 3 → ℝ) (nu : ℝ) : IsSelfAdjoint (latticeLagCLM v w fr nu)

Initializing...

`BookProof.NavierStokesFlow.LagrangianEsa.latticeLagCLM_isSelfAdjoint` (v : Fin 3 → LinfZ) (w : LinfZ) (fr : Fin 3 → ℝ) (nu : ℝ) : IsSelfAdjoint (latticeLagCLM v w fr nu) · Prove2Me