`BookProof.ScalaronFock.qgScalaronModeFock_symmetric` : SymmetricOn (modeFockCore a b M alpha Rc phi) (qgScalaronModeFockHamiltonian a b M alpha Rc phi)

Initializing...

`BookProof.ScalaronFock.qgScalaronModeFock_symmetric` : SymmetricOn (modeFockCore a b M alpha Rc phi) (qgScalaronModeFockHamiltonian a b M alpha Rc phi) · Prove2Me