`BookProof.DirectSumEsa.fockCore_dense` {w : ℝ → ℝ} (hw : Measurable w) : Dense ((fockCore w : Submodule ℂ fockSpace) : Set fockSpace)

Initializing...

`BookProof.DirectSumEsa.fockCore_dense` {w : ℝ → ℝ} (hw : Measurable w) : Dense ((fockCore w : Submodule ℂ fockSpace) : Set fockSpace) · Prove2Me