`BookProof.DirectSumEsa.fockH_stone_flow` {w : ℝ → ℝ} (hw : Measurable w) : ∃ (T : ChapterStoneResolvent.UnboundedSelfAdjoint fockSpace) (U : ℝ → (fockSpace →L[ℂ] fockSpace)), EsaC

Initializing...

`BookProof.DirectSumEsa.fockH_stone_flow` {w : ℝ → ℝ} (hw : Measurable w) : ∃ (T : ChapterStoneResolvent.UnboundedSelfAdjoint fockSpace) (U : ℝ → (fockSpace →L[ℂ] fockSpace)), EsaC · Prove2Me