`BookProof.NavierStokesFlow.AffineFiber.basisState_coe` (κ c : ℝ) (n m : ℕ) : ((basisState κ c n : L2I ℕ) : ℕ → ℂ) m = if m = n then 1 else 0

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.basisState_coe` (κ c : ℝ) (n m : ℕ) : ((basisState κ c n : L2I ℕ) : ℕ → ℂ) m = if m = n then 1 else 0 · Prove2Me