`BookProof.NavierStokesFlow.AffineFiber.affH_symmetricOn` {κ c : ℝ} (hκ : 0 ≤ κ) (hc : 0 ≤ c) : SymmetricOn (maxDom (oscSymbol (affMu κ c))) (affH hκ hc)

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.affH_symmetricOn` {κ c : ℝ} (hκ : 0 ≤ κ) (hc : 0 ≤ c) : SymmetricOn (maxDom (oscSymbol (affMu κ c))) (affH hκ hc) · Prove2Me