`BookProof.FullQuadratic.fqOp_stone_flow` (P Q S : Fin d → Fin d → ℝ) (b b' : Fin d → ℝ) : ∃ (T : UnboundedSelfAdjoint (L2d d)) (U : ℝ → (L2d d →L[ℂ] L2d d)), IsSelfAdjointExtensio

Initializing...

`BookProof.FullQuadratic.fqOp_stone_flow` (P Q S : Fin d → Fin d → ℝ) (b b' : Fin d → ℝ) : ∃ (T : UnboundedSelfAdjoint (L2d d)) (U : ℝ → (L2d d →L[ℂ] L2d d)), IsSelfAdjointExtensio · Prove2Me