`BookProof.NavierStokesFlow.MomentumPerturbation.rankTwo_norm_le` (u w x : L2I ι) : ‖rankTwo u w x‖ ≤ 2 * (‖u‖ * ‖w‖) * ‖x‖

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.rankTwo_norm_le` (u w x : L2I ι) : ‖rankTwo u w x‖ ≤ 2 * (‖u‖ * ‖w‖) * ‖x‖ · Prove2Me