`BookProof.NavierStokesFlow.BilinearEsa.bilH_domain_dense` : Dense ((lpFiniteModes (ℕ × J) : Submodule ℂ (L2I (ℕ × J))) : Set (L2I (ℕ × J)))

Initializing...

`BookProof.NavierStokesFlow.BilinearEsa.bilH_domain_dense` : Dense ((lpFiniteModes (ℕ × J) : Submodule ℂ (L2I (ℕ × J))) : Set (L2I (ℕ × J))) · Prove2Me