`BookProof.NavierStokesFlow.MomentumPerturbation.pertHam_symmetricOn` (c : ι → ℝ) (u w : L2I ι) : SymmetricOn (maxDom c) (pertHam c u w)

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.pertHam_symmetricOn` (c : ι → ℝ) (u w : L2I ι) : SymmetricOn (maxDom c) (pertHam c u w) · Prove2Me