`BookProof.ScalaronFock.qgScalaronModeFock_deficiencyTrivialAt` {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt (modeFockCore a b M alpha Rc phi) (qgScalaronModeFockHamiltonian a b M

Initializing...

`BookProof.ScalaronFock.qgScalaronModeFock_deficiencyTrivialAt` {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt (modeFockCore a b M alpha Rc phi) (qgScalaronModeFockHamiltonian a b M · Prove2Me