`BookProof.QgOuterFockFL.Comparison.essentiallySelfAdjointOn` [CompleteSpace F] (C : Comparison F) (H : C.dom →ₗ[ℂ] F) (hH : SymmetricOn C.dom H) (c : ℝ) (hc : 0 ≤ c) (hcomm : ∀ x

Initializing...

`BookProof.QgOuterFockFL.Comparison.essentiallySelfAdjointOn` [CompleteSpace F] (C : Comparison F) (H : C.dom →ₗ[ℂ] F) (hH : SymmetricOn C.dom H) (c : ℝ) (hc : 0 ≤ c) (hcomm : ∀ x · Prove2Me