`BookProof.ScalaronFock.nestedCore_dense` : Dense ((nestedCore E : Submodule ℂ (nestedFock E)) : Set (nestedFock E))

Initializing...

`BookProof.ScalaronFock.nestedCore_dense` : Dense ((nestedCore E : Submodule ℂ (nestedFock E)) : Set (nestedFock E)) · Prove2Me