`BookProof.ShiftedQuadratic.shiftedHOp_stone_flow` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) : ∃ (T : UnboundedSelfAdjoint (L2d d)) (U : ℝ → (L2d d →L[ℂ] L2d d)), IsSelfAdjointExten

Initializing...

`BookProof.ShiftedQuadratic.shiftedHOp_stone_flow` (c b b' : Fin d → ℝ) (hc : ∀ i, c i ≠ 0) : ∃ (T : UnboundedSelfAdjoint (L2d d)) (U : ℝ → (L2d d →L[ℂ] L2d d)), IsSelfAdjointExten · Prove2Me