`BookProof.ScalaronDensitized.physConfCore_dense` : Dense ((physConfCore M alpha : Submodule ℂ (Lp ℂ 2 physMeasure)) : Set (Lp ℂ 2 physMeasure))

Initializing...

`BookProof.ScalaronDensitized.physConfCore_dense` : Dense ((physConfCore M alpha : Submodule ℂ (Lp ℂ 2 physMeasure)) : Set (Lp ℂ 2 physMeasure)) · Prove2Me