`BookProof.NavierStokesFlow.MomentumPerturbation.norm_eState` (k : ℕ) : ‖eState k‖ = 1

Initializing...

`BookProof.NavierStokesFlow.MomentumPerturbation.norm_eState` (k : ℕ) : ‖eState k‖ = 1 · Prove2Me