`BookProof.YangMillsAbelianEsa.ymAbelian_stone_flow` : ∃ (T : UnboundedSelfAdjoint (L2d 99)) (U : ℝ → (L2d 99 →L[ℂ] L2d 99)), IsSelfAdjointExtension (ymHamiltonian (coreRepPoly 99)

Initializing...

`BookProof.YangMillsAbelianEsa.ymAbelian_stone_flow` : ∃ (T : UnboundedSelfAdjoint (L2d 99)) (U : ℝ → (L2d 99 →L[ℂ] L2d 99)), IsSelfAdjointExtension (ymHamiltonian (coreRepPoly 99) · Prove2Me