`BookProof.NavierStokesFlow.AffineFiber.affH_domain_dense` : Dense ((lpFiniteModes ℕ : Submodule ℂ (L2I ℕ)) : Set (L2I ℕ))

Initializing...

`BookProof.NavierStokesFlow.AffineFiber.affH_domain_dense` : Dense ((lpFiniteModes ℕ : Submodule ℂ (L2I ℕ)) : Set (L2I ℕ)) · Prove2Me