`BookProof.ScalaronDensitized.densConf_stone_flow` : ∃ (T : UnboundedSelfAdjoint (Lp ℂ 2 qgSrcMeasure)) (U : ℝ → (Lp ℂ 2 qgSrcMeasure →L[ℂ] Lp ℂ 2 qgSrcMeasure)), IsSelfAdjointExte

Initializing...

`BookProof.ScalaronDensitized.densConf_stone_flow` : ∃ (T : UnboundedSelfAdjoint (Lp ℂ 2 qgSrcMeasure)) (U : ℝ → (Lp ℂ 2 qgSrcMeasure →L[ℂ] Lp ℂ 2 qgSrcMeasure)), IsSelfAdjointExte · Prove2Me