`BookProof.GraphCore.essentiallySelfAdjointOn_of_graphCore` {D₁ D₂ : Submodule ℂ F} (T : D₂ →ₗ[ℂ] F) (h : D₁ ≤ D₂) (hcore : IsGraphCore D₁ T) (hesa :...

Initializing...

`BookProof.GraphCore.essentiallySelfAdjointOn_of_graphCore` {D₁ D₂ : Submodule ℂ F} (T : D₂ →ₗ[ℂ] F) (h : D₁ ≤ D₂) (hcore : IsGraphCore D₁ T) (hesa :... · Prove2Me