`BookProof.ScalaronFock.qgScalaronFock_symmetric` (M alpha : ℝ) : SymmetricOn qgFockCore (qgScalaronFockHamiltonian M alpha)

Initializing...

`BookProof.ScalaronFock.qgScalaronFock_symmetric` (M alpha : ℝ) : SymmetricOn qgFockCore (qgScalaronFockHamiltonian M alpha) · Prove2Me