`BookProof.ScalaronFock.qgScalaronFock_stone_flow` (M alpha : ℝ) : ∃ (T : UnboundedSelfAdjoint qgFock) (U : ℝ → (qgFock →L[ℂ] qgFock)), IsSelfAdjointExtension (qgScalaronFockHamilt

Initializing...

`BookProof.ScalaronFock.qgScalaronFock_stone_flow` (M alpha : ℝ) : ∃ (T : UnboundedSelfAdjoint qgFock) (U : ℝ → (qgFock →L[ℂ] qgFock)), IsSelfAdjointExtension (qgScalaronFockHamilt · Prove2Me