`BookProof.StoneEigenflow.stoneFlow_apply_core_eigenvector` {D : Submodule ℂ F} {Hc : D →ₗ[ℂ] F} {T : UnboundedSelfAdjoint F} {U : ℝ → (F →L[ℂ] F)} (hext : IsSelfAdjointExtension H

Initializing...

`BookProof.StoneEigenflow.stoneFlow_apply_core_eigenvector` {D : Submodule ℂ F} {Hc : D →ₗ[ℂ] F} {T : UnboundedSelfAdjoint F} {U : ℝ → (F →L[ℂ] F)} (hext : IsSelfAdjointExtension H · Prove2Me