`BookProof.ScalaronFock.qgScalaronModeFock_stone_flow` : ∃ (T : UnboundedSelfAdjoint modeFock) (U : ℝ → (modeFock →L[ℂ] modeFock)), IsSelfAdjointExtension (qgScalaronModeFockHamilt

Initializing...

`BookProof.ScalaronFock.qgScalaronModeFock_stone_flow` : ∃ (T : UnboundedSelfAdjoint modeFock) (U : ℝ → (modeFock →L[ℂ] modeFock)), IsSelfAdjointExtension (qgScalaronModeFockHamilt · Prove2Me