`BookProof.ScalaronFock.qgScalaronFock_esa` (M alpha : ℝ) : EssentiallySelfAdjointOn qgFockCore (qgScalaronFockHamiltonian M alpha)

Initializing...

`BookProof.ScalaronFock.qgScalaronFock_esa` (M alpha : ℝ) : EssentiallySelfAdjointOn qgFockCore (qgScalaronFockHamiltonian M alpha) · Prove2Me