`BookProof.ScalaronDensitized.densConfCore_dense` : Dense ((densConfCore M alpha : Submodule ℂ (Lp ℂ 2 qgSrcMeasure)) : Set (Lp ℂ 2 qgSrcMeasure))

Initializing...

`BookProof.ScalaronDensitized.densConfCore_dense` : Dense ((densConfCore M alpha : Submodule ℂ (Lp ℂ 2 qgSrcMeasure)) : Set (Lp ℂ 2 qgSrcMeasure)) · Prove2Me