`BookProof.ScalaronFock.qgScalaronFock_deficiencyTrivialAt` (M alpha : ℝ) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt qgFockCore (qgScalaronFockHamiltonian M alpha) z

Initializing...

`BookProof.ScalaronFock.qgScalaronFock_deficiencyTrivialAt` (M alpha : ℝ) {z : ℂ} (hz : z.im ≠ 0) : DeficiencyTrivialAt qgFockCore (qgScalaronFockHamiltonian M alpha) z · Prove2Me