`BookProof.ClosureUniqueness.not_isSelfAdjointExtension_clExt_of_deficiency` (T : D →ₗ[ℂ] F) (hdense : Dense (D : Set F)) (hsym : SymmetricOn D T) {w : F} (hw0 : w ≠ 0) (hw : ∀ v :

Initializing...

`BookProof.ClosureUniqueness.not_isSelfAdjointExtension_clExt_of_deficiency` (T : D →ₗ[ℂ] F) (hdense : Dense (D : Set F)) (hsym : SymmetricOn D T) {w : F} (hw0 : w ≠ 0) (hw : ∀ v : · Prove2Me