`BookProof.NavierStokesFlow.AffineFiber.norm_basisState` (κ c : ℝ) (n : ℕ) : ‖(basisState κ c n : L2I ℕ)‖ = 1

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.norm_basisState` (κ c : ℝ) (n : ℕ) : ‖(basisState κ c n : L2I ℕ)‖ = 1 · Prove2Me