`BookProof.NavierStokesFlow.HermiteFarisLavine.nsH_symmetricOn` (hκ : 0 ≤ κ) : SymmetricOn (maxDom (oscSymbol κ)) (nsH κ hκ)

Initializing...

`BookProof.NavierStokesFlow.HermiteFarisLavine.nsH_symmetricOn` (hκ : 0 ≤ κ) : SymmetricOn (maxDom (oscSymbol κ)) (nsH κ hκ) · Prove2Me