`BookProof.ScalaronFock.qgManyPotential_esa` (M alpha : ℝ) (n : ℕ) : EssentiallySelfAdjointOn (ccDomain (qgSector n)) (opCc (qgManyPotential M alpha n) (contDiff_qgManyPotential M

Initializing...

`BookProof.ScalaronFock.qgManyPotential_esa` (M alpha : ℝ) (n : ℕ) : EssentiallySelfAdjointOn (ccDomain (qgSector n)) (opCc (qgManyPotential M alpha n) (contDiff_qgManyPotential M · Prove2Me