`BookProof.ScalaronDensitized.physConf_stone_flow` : ∃ (T : UnboundedSelfAdjoint (Lp ℂ 2 physMeasure)) (U : ℝ → (Lp ℂ 2 physMeasure →L[ℂ] Lp ℂ 2 physMeasure)), IsSelfAdjointExtensi

Initializing...

`BookProof.ScalaronDensitized.physConf_stone_flow` : ∃ (T : UnboundedSelfAdjoint (Lp ℂ 2 physMeasure)) (U : ℝ → (Lp ℂ 2 physMeasure →L[ℂ] Lp ℂ 2 physMeasure)), IsSelfAdjointExtensi · Prove2Me