`BookProof.NavierStokesFlow.MomentumPerturbation.rankTwo_symmetric` (u w x y : L2I ι) : (inner ℂ (rankTwo u w x) y : ℂ) = inner ℂ x (rankTwo u w y)

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.rankTwo_symmetric` (u w x y : L2I ι) : (inner ℂ (rankTwo u w x) y : ℂ) = inner ℂ x (rankTwo u w y) · Prove2Me