`BookProof.ScalaronFock.qgFockCore_dense` : Dense ((qgFockCore : Submodule ℂ qgFock) : Set qgFock)

Initializing...

`BookProof.ScalaronFock.qgFockCore_dense` : Dense ((qgFockCore : Submodule ℂ qgFock) : Set qgFock) · Prove2Me