`BookProof.ScalaronHermiteEsa.potCore_stone_flow` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) : ∃ (T : UnboundedSelfAdjoint (L2d d)) (U : ℝ → (L2d d →L[ℂ] L2d d)), IsS

Initializing...

`BookProof.ScalaronHermiteEsa.potCore_stone_flow` {W : Vd d → ℝ} (hWc : Continuous W) (hWb : ExpBounded W) : ∃ (T : UnboundedSelfAdjoint (L2d d)) (U : ℝ → (L2d d →L[ℂ] L2d d)), IsS · Prove2Me