`BookProof.ScalaronFock.modeFockCore_dense` : Dense ((modeFockCore a b M alpha Rc phi : Submodule ℂ modeFock) : Set modeFock)

Initializing...

`BookProof.ScalaronFock.modeFockCore_dense` : Dense ((modeFockCore a b M alpha Rc phi : Submodule ℂ modeFock) : Set modeFock) · Prove2Me